- changeExtensions.sh - recursively changes the extension of files
- convertSvgToPs.sh - Converts
svg/*.svgtops/*.ps. This can be useful when working with for example powerdot files. - extractImages.sh - Burst a
.pdfand save the pages to.svg. - gifToMp4.sh - Converts all
.gifin the current folder into.mp4 - pngToGif.sh - Makes png to gif by adding a transparent background and auto-cropping
- windowManagement.md.
shellScripts
Directory actions
More options
Directory actions
More options
shellScripts
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||