Skip to content

Instantly share code, notes, and snippets.

@jaka
Created April 15, 2017 13:59
Show Gist options
  • Select an option

  • Save jaka/52a1e22df65519bdf09671336f78e202 to your computer and use it in GitHub Desktop.

Select an option

Save jaka/52a1e22df65519bdf09671336f78e202 to your computer and use it in GitHub Desktop.
for file in `find /usr/share/icons/gnome/`; do
a=${file#/usr/share/icons/gnome/}
size=${a%%/*}
size=${size%x*}
cat=`echo $a | cut -d"/" -f2`
name=${a##*/}
b=/usr/share/icons/Faenza/$cat/$size/$name
[ -e "$b" ] && rm $file
done
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment