New answers tagged gnome3
Using xrandr Overlapping screens can be achieved by changing their position using the following command: xrandr --output (screen indicator) --pos (x coord)x(y coord) Example: xrandr --output DVI-D-0 --pos 0x0 xrandr --output HDMI-0 --pos 0x768 xrandr --output DVI-I-0 --pos 0x768 This results in DVI-D-0 screen being at the top and HDMI-0 with DVI-I-0 ...
This used to be quite simple, all you had to do was edit the relevant gnome-shell js file: /usr/share/gnome-shell/js/ui/dateMenu.js and change date/time format. As of v. 3.12 this is no longer a trivial task as shell js files come as a binary file and on top of that, the panel date/time code was moved to gnome-desktop. As a result, the date format is now ...
Be sure the Icon=/opt/eclipse-4.2.1/icon.xpm line in the .desktop file points to the right file. That was the problem in my case.
Top 50 recent answers are included