Waar ik zelf altijd mee werk is IrfanView (via WineHQ prima te benaderen).
In IrfanView zit een onder andere BatchConversie die inderdaad binnen een
map alle JPG in PNG over kan zetten, met een prachtige conversie!
Dick
Op wo 6 mrt. 2019 om 17:22 schreef Dick Stomp :
>
>
Op 06-03-19 om 17:22 schreef Dick Stomp:
Hoi Dick,
Dank voor de tip! Het is wat een omweg via Android, maar het bracht me
wel op een idee: Linux heeft het commando "convert" (onderdeel van de
ImageMagick gereedschapset), die gifs kan omzetten naar b.v. png's.
Is nog niet precies wat ik
https://play.google.com/store/apps/details?id=com.handycloset.android.jpegpng=en_US
Op wo 6 mrt. 2019 om 15:58 schreef Jogchum Reitsma :
> Beste LO'ers,
>
> Ik heb een presentatie van plm. 45 dia's, die ik om wil zetten naar een
> video (en dan combineren met andere video-fragmenten en
Beste LO'ers,
Ik heb een presentatie van plm. 45 dia's, die ik om wil zetten naar een
video (en dan combineren met andere video-fragmenten en -effecten).
Daartoe wil ik de afzonderlijke dia's als .png-bestanden opslaan.
Maar het zijn er nogal wat dus, en bovendien wil LO ze standaard altijd
