Advertisement
Guest User

Untitled

a guest
Jun 16th, 2013
59
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Bash 0.67 KB | None | 0 0
  1. FILETYPES="*.css *.jpg *.jpeg *.gif *.png *.js *.html"
  2. DIRECTORIES="/var/www"
  3.  
  4. for currentdir in $DIRECTORIES
  5. do
  6.    for extension in $FILETYPES
  7.    do
  8.       find $currentdir -iname $extension -exec bash -c 'PLAINFILE={};GZIPPEDFILE={}.gz; \
  9.         if [ -e $GZIPPEDFILE ]; \
  10.         then   if [ `stat --printf=%Y $PLAINFILE` -gt `stat --printf=%Y $GZIPPEDFILE` ]; \
  11.                then    echo "$GZIPPEDFILE outdated, regenerating"; \
  12.                        gzip -9 -f -c $PLAINFILE > $GZIPPEDFILE; \
  13.                 fi; \
  14.         else echo "$GZIPPEDFILE is missing, creating it"; \
  15.              gzip -9 -c $PLAINFILE > $GZIPPEDFILE; \
  16.         fi' \;
  17.    done
  18. done
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement