Is er onder Linux een gui of terminal programma waarin een hele dir met images in één keer kan worden gerisized naar bijvoorbeeld 800 pixels breed en een resolutie van 72 pdi? Uiteraard met behoud van een goede kwaliteit. -- Peter Registered Linux user # 458207