themeselector/themeselector.install

   1 warning() {
   2         echo ""
   3         echo "default themes were installed into $HOME/.themes directory, if you want to use the themes on another account then you have to manually copy the themes to the home directory of that account"
   4         echo ""
   5 }
   6
   7 post_install() {
   8         warning
   9 }
  10
  11 post_upgrade() {
  12         warning
  13 }