Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- #!/bin/sh
- 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
- 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
- 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"
- if [ -d "/usr/share/gnome-shell/theme" ]; then
- if [ ! -d "/usr/share/gnome-shell/theme-backup" ]; then
- sudo mkdir /usr/share/gnome-shell/theme-backup
- fi
- sudo cp -r /usr/share/gnome-shell/theme/* /usr/share/gnome-shell/theme-backup
- fi
- if [ ! -d "/usr/share/gnome-shell/theme" ]; then
- sudo mkdir /usr/share/gnome-shell/theme
- fi
- sudo cp -r ./gnome-shell/* /usr/share/gnome-shell/theme
- if [ ! -d "/usr/share/themes/MixtureD" ]; then
- sudo mkdir /usr/share/themes/MixtureD
- fi
- sudo cp -r ./themes/MixtureD/* /usr/share/themes/MixtureD
- if [ ! -d "/usr/share/icons/MixtureD" ]; then
- sudo mkdir /usr/share/icons/MixtureD
- fi
- sudo cp -r ./icons/MixtureD/* /usr/share/icons/MixtureD
- echo "\nThe installation is finished. No errors were found. Press [ENTER] to exit."
- read ok
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement