#!/bin/bash # Windowmovie: take a movie of a window for a specified amount of time and # save it as an animated GIF. if [ "$1" == "--help" ]; then cat <&1 >/dev/null echo -e '\a' # Convert the files to an animated GIF ANIM=windowmovie.`date --iso-8601=seconds`.gif convert -delay 40 $ODIR/*.xwd $ODIR/$ANIM mv $ODIR/$ANIM $HOME/Desktop/$ANIM rm -rf $ODIR