clean-distfiles.sh

   1 #!/bin/sh
   2 # cleanup distfiles like files, i.e archives that can be likely be
   3 # re-downloaded.
   4
   5 # be sure we are in right dir
   6 dir=$(dirname "$0")
   7 cd "$dir"
   8
   9 ext=bz2,gz,rar,tgz,tbz2,zip,jar,Z,tar,png,ico,xpm,gif,rpm,bin,run,exe,iso,xpi,ZIP,dll
  10 ls -ld */*.{$ext}
  11
  12 echo remove? ctrl+c to abort
  13 read a
  14
  15 rm -vf */*.{$ext}