Differences

This shows you the differences between two versions of the page.

--- terminal:miscbash [2025/08/16 01:59] – melo
+++ terminal:miscbash [2025/08/17 16:08] (current) – makemkv workaround no longer needed melo
@@ Line 2: / Line 2: @@
 aliases and stuff
+==== number files from start ====
+<code bash>
+i=29 # add 1 to last number in batch
+for f in *.png; do
+   dest=$(printf "%02d" $i).png
+   mv "$f" "$dest"
+   i=$((i + 1))
+done
+</code>
+[[https://stackoverflow.com/questions/57860821/rename-files-with-incrementing-number-starting-at-certain-number|source]]
 ==== push to all git remotes ====
@@ Line 31: / Line 44: @@
 </code>
-==== fake-time with makeMKV ====
+==== PDF to PNG ====
-[[http://makemkv.com/|makeMKV]] is currently broken, in that it has no working free license key right now, so the only way to get it in a functional state is to use an old key and trick the program into thinking the time is different. i use ''faketime'' for this:
+not used in a while
 <code bash>
-# makemkv workaround
+gs -sDEVICE=pngalpha -o file-%03d.png -r144 zine.pdf
-# see link
-# https://old.reddit.com/r/makemkv/comments/1mek9fa/beta_registration_key/
-alias makemkv="faketime '2025-06-01 12:00:00' makemkv"
 </code>