-
Notifications
You must be signed in to change notification settings - Fork 4
Idei
Aici colectăm idei pentru această carte.
Dacă vreți să creați un GIF din mai multe PNG-uri (cred că merge și cu alt format de poze) puteți folosi convert. E și pe Ubuntu și pe MacOS.
Eu inițial făceam cu Giphy, dar nu păstrează dimensiunea inițială a pozelor, GIF-ul devenea prea mic și opțiunea scale (din rst) îl făcea foarte neclar.
Exemplu de folosire
convert -delay 100 -loop 10 *.png output.gif
Mie mi se pare decent acest delay de 100 (hai până la un 120), dar evident depinde de caz.
Util pentru un banner într-un video.
Adică să nu fie alb, ci să fie transparent.
Cmd+Shift+5, selectezi bucata de ecran pe care vrei s-o înregistrezi, dai record, îți faci treaba, stop, se salvează unde ți se salvează ție screenshoturile de obicei. Rezultatul va fi un fișier cu extensia .mov.
Exemplu de folosire:
ffmpeg -i ~/Desktop/Screen\ Recording\ 2020-09-17\ at\ 17.11.57.mov -vf "scale=min(iw\,600):-1" -pix_fmt rgb24 -r 10 -f gif - | gifsicle --optimize=3 --delay=7 --colors 128 > output.gif
Folosim pandoc.
Se instalează simplu:
$ sudo apt install pandoc
Are multe formate de intrare și mai multe de ieșire:
$ pandoc --list-input-formats | wc -l
22
$ pandoc --list-output-formats | wc -l
41
Ca să convertim, de exemplu din format RST în Dokuwiki folosim:
$ pandoc -f rst -t dokuwiki chapters/app-install/install.rst > install.wiki
Ca să afișam branch-ul repository-urilor dintr-un director:
razvan@yggdrasil:~/.../unicore/unikraft-my/libs$ for i in *; do pushd "$i" > /dev/null; echo -n "$i: "; git status | head -1 ; popd > /dev/null; done