
Minty
Source (link to git-repo or to original if based on someone elses unmodified work): Add the source-code for this project on opencode.net
Minty is a Gnome Shell theme with some flavour of Linux Mint. It is compatible with the latest Gnome Shell 3.2.
---
Ubuntu users can install Minty from our themes PPA using the following commands,
sudo apt-add-repository ppa:satyajit-happy/themes
sudo apt-get update && sudo apt-get install gnome-shell-theme-minty
---
Installation Instructions:
Extract the zip file to the themes directory i.e. "~/.themes/" or "/usr/share/themes/" or use Gnome Tweak Tool to install.
Install the User Theme Extension and use the Gnome Tweak tool to choose the themes.
To install the Gnome Shell theme without the User Theme Extension,
1. First backup your Gnome Shell theme directory i.e. "/usr/share/gnome-shell/theme/".
2. Extract the zip file and rename "gnome-shell" directory to "theme",
3. Copy it to "/usr/share/gnome-shell/".
4. Restart GNOME Shell by pressing "Alt+F2", then type r and press Enter.
---
To install Gnome Tweak Tool in Ubuntu, open the terminal and type,
sudo apt-get install gnome-tweak-tool
---
To install User Theme Extension and Gnome Tweak Tool in Fedora, open the terminal and type,
su -c "yum install gnome-shell-extensions-user-theme gnome-tweak-tool"
---
Warning:
This theme is not compatible with old Gnome Shell 3.0 (e.g.-Fedora 15). I'm not responsible if you try to use it on old Gnome Shell and things break.
9 years ago
30/11/2011 - Fixed Panel overlapping Maximized Window in case of Reflection Extension
20/11/2011 - Added support for Mint Gnome Shell Extensions
04/11/2011 - Initial Release for Gnome Shell 3.2
9 years ago
30/11/2011 - Fixed Panel overlapping Maximized Window in case of Reflection Extension
20/11/2011 - Added support for Mint Gnome Shell Extensions
04/11/2011 - Initial Release for Gnome Shell 3.2
l300lvl
9 years ago
Report
mpnordland
9 years ago
Report
satya164
9 years ago
Report
BruceMcL
9 years ago
http://forums.linuxmint.com/viewtopic.php?f=205&t=85775&start=60#p500132
I don't think you should be too harsh on the poster, he's been very helpful on the forums.
Report
satya164
9 years ago
Report
esteban1uy
9 years ago
Report
esteban1uy
9 years ago
People was asking how to fix some problems with the old themes, and I showed how to do it: http://forums.linuxmint.com/viewtopic.php?f=205&t=85775&start=20#p498366
Then some other people, not confident enough to manually edit their files, asked me to share my own modded files as attachments, I asked if doing so would represent a problem: http://forums.linuxmint.com/viewtopic.php?f=205&t=85775&start=60#p500081
By the time you fixed your themes I removed the attachments, because it was not necessary anymore.
Now a have learnt my lesson: I promess not share any file anymore.
Report
BruceMcL
9 years ago
There is a lot of interesting modding of Gnome Shell extensions (and themes) going on in the Gnome 3 section of the Linux Mint forums.
Report
satya164
9 years ago
Report
BruceMcL
9 years ago
I believe the forked version has been pulled from the Linux Mint forums now that the author knows it is no longer needed..
Report
satya164
9 years ago
Report
trollonrent
9 years ago
http://www.youtube.com/wethepenguins01
Report
l300lvl
9 years ago
Idk if you did change the fonts but they look smoother, either way thank you for a great gs theme!
Report
satya164
9 years ago
Report
linux-void
9 years ago
Report
satya164
9 years ago
Report
linux-void
9 years ago
Report
satya164
9 years ago
If you don't know, MGSE are a part of Linux Mint which bring aGnome 2 like experience on gnome Shel, to make the migration easier.
Report