Advertisement
Guest User

Nawledge ./install.sh

a guest
Oct 2nd, 2012
37
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.45 KB | None | 0 0
  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
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement