daily pastebin goal
35%
SHARE
TWEET

Nawledge ./install.sh

a guest Oct 2nd, 2012 20 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. #!/bin/sh
  2.  
  3. echo "Please insert your password in order to copy all files to their respective directories. In other words, to install the theme in your system.\n
  4. IMPORTANT!! After that, please use the 'gnome-tweak-tool' package that can be found on the ubuntu default repository(sudo apt-get install gnome-tweak-tool) to change the 'GTK+ theme', 'Icon theme' and 'Window theme' to MixtureD in the 'Theme' tab.\n
  5. Your current gnome-shell theme will be copied into the folder 'usr/share/gnome-shell/theme-backup', if something goes wrong during the installation or after that, you can run the script 'Uninstall.sh' to put your previous theme back.\n"
  6.  
  7. if [ -d "/usr/share/gnome-shell/theme" ]; then
  8.         if [ ! -d "/usr/share/gnome-shell/theme-backup" ]; then
  9.                 sudo mkdir /usr/share/gnome-shell/theme-backup
  10.         fi
  11.     sudo cp -r /usr/share/gnome-shell/theme/* /usr/share/gnome-shell/theme-backup
  12. fi
  13.  
  14.  
  15. if [ ! -d "/usr/share/gnome-shell/theme" ]; then    
  16.         sudo mkdir /usr/share/gnome-shell/theme
  17. fi
  18.  
  19. sudo cp -r ./gnome-shell/* /usr/share/gnome-shell/theme
  20.  
  21.  
  22.  
  23. if [ ! -d "/usr/share/themes/MixtureD" ]; then    
  24.         sudo mkdir /usr/share/themes/MixtureD
  25. fi
  26.  
  27. sudo cp -r ./themes/MixtureD/* /usr/share/themes/MixtureD
  28.  
  29.  
  30.  
  31. if [ ! -d "/usr/share/icons/MixtureD" ]; then    
  32.         sudo mkdir /usr/share/icons/MixtureD
  33. fi
  34.  
  35. sudo cp -r ./icons/MixtureD/* /usr/share/icons/MixtureD
  36.  
  37.  
  38. echo "\nThe installation is finished. No errors were found. Press [ENTER] to exit."
  39. read ok
RAW Paste Data
Pastebin PRO WINTER Special!
Get 40% OFF Pastebin PRO accounts!
Top