Amazingly, there are no alternative ``themes'' installed for GNOME 3. A helpful web page was http://fedoraunity.org/Members/bookwar/gnome-3-tips.
yum install gnome-shell-extensions-user-theme ;; amazing not installed by default! yum install gnome-tweak-tool ;; set stuff yum install projectM-jack ;; to try out some visualization plugins # Set up sudoers, following # http://www.mjmwired.net/resources/mjm-fedora-fc6.html#sudo # cd /etc # chmod +w sudoers # echo 'jos ALL=(ALL) NOPASSWD:ALL' >> /etc/sudoers # chmod -w sudoers yum install csound ;; checking out some patches yum install scons # follow directions for Fedora installation of openframeworks: cd <openframeworks-sourcedir>/scripts/linux/fedora/ sh install_codeblocks_svn.sh ;; (trouble) ./install_dependencies.sh ;; (trouble) yum install openal-soft-devel.x86_64 sh install_codeblocks_svn.sh ./install_dependencies.sh yum install freeglut-devel.x86_64 ./install_dependencies.sh /sbin/ldconfig # That seemed to do it for building the library - then for the examples: yum install glew-devel yum install freeimage-devel # Then add '-lz' to Projects / <app> / build config / config.make / USER_LIBS # in codeblocks. Several examples won't build until you do this. # install baudline tarball from www.baudline.com [spectrum analysis] yum install dconf-editor ;; to restore desktop right-click and icons ;; alt+f2 dconf-editor ;; Navigate to org / gnome / desktop / Background ;; Enable "Show-Desktop-Icons" echo '/usr/bin/jackd -P1 -dalsa -dhw:UA-25EX -r48000 -p1024 -n2 -P'>!~/.jackdrc # override pulseaudio with jack following procedure at # http://fedoraforum.org/forum/showthread.php?t=276955 # Also set system sound output to Jack sink yum install eclipse # install android development tarballs # ADT Plugin installation failed in eclipse # Follow http://fedoraproject.org/wiki/HOWTO_Setup_Android_Development # Still failed - after some thrashing, non-NDK installation worked. # (It was tried and failed before, so this makes no sense - server dropout?) # Since I have a 64-bit system: yum install glibc.i686 glibc-devel.i686 libstdc++.i686 zlib-devel.i686 ncurses-devel.i686 libX11-devel.i686 libXrender.i686 libXrandr.i686 git clone git://git.code.sf.net/p/libmodsynth/git libmodsynth ;; read about it ln -s /usr/bin/moc-qt4 /usr/bin/moc ;; so libmodsynth would compile git clone https://github.com/vibou/vibou.gTile.git gnome-gTile ;; prefer tiled windows ;; Switch to "On" at https://extensions.gnome.org/extension/28/gtile/ ;; USAGE: Alt-F2 gTile yum install gnome-shell-extension* ;; wish I had found this earlier yum install gnome-shell-theme* ;; http://www.if-not-true-then-false.com/2012/gnome-shell-tweaking-extensions-themes-on-fedora/ ALT F2 r ;; restart GNOME Shell to get extensions ;; Get all current Gnome Shell extensions settings: gsettings list-recursively |grep "org.gnome.shell.extensions" ;; syntax for settings: gsettings set org.gnome.shell.extensions.[name] [key] [value] ;; example: gsettings set org.gnome.shell.extensions.dock size 60 ;; opening a .midi file with Movie Player resulted in the installation of ;; opencv, wildmidi-libs, fluid-soundfont-lite-patches, libtimidity, openni, gmyth, tinyxml ;; oddly, it tried to install them as me, not root (but then failed) ;; yum install on the whole list said all were installed ;; Next attempt to open a MIDI file in Movie Player worked! git clone https://github.com/pantherb/setBfree.git ;; cool organ synth! yum install tcl-devel tk-devel ;; for setBfree yum install zita-convolver-devel ;; for setBfree yum install a2jmidid ;; so setBfree JACK MIDI can be driven from ALSA midi ;; (run a2jmidi_bridge or a2jmidid) gnome-session-properties ;; Options / Automatically restore session yum install python-mozhttpd.noarch ;; simple python web server? (nope) yum install python-requests.noarch ;; python http support? (nope) yum install python3-requests.noarch ;; python http support? (finally!) yum install liveusb-creator ;; making a Fedora 20 USB live-cd ... ;; for network printing, in system-config-firewall, enable Samba Client, ;; Multicast DNS (mdns), Network Printing Client (IPP) and Network Printing Server (IPP)