What I want is to just restart Gnome 3 only and not to close and reopen the programs running.
Thanks a lot!
Just run r in Gnome 3’s “Run command” Box:
Alt + F2, then enter r and hit Enter. Gnome 3 will restarts itself only.
How to get the full path and directory of a Makefile itself like finding Bash script’s own path? This 2 lines in Makefile get the full path and dir of the Makefile itself: mkfile_path := $(abspath $(lastword $(MAKEFILE_LIST))) mkfile_dir := $(dir $(mkfile_path)) The piece of code gets you Makefile, finds its absolute path and the…
How to install php on Apache on Fedora? The basic support (basic PHP support, no caching, etc.) should be enough. First, install Apache2 (httpd): # yum install httpd Then, enable php support: # yum install php Remember to restart httpd after you install php: # service httpd restart Read more: How to change the maximum…
How to change the fonts of gnome-shell for gnome3? Like the system bar. The fonts of gnome-shell is described in its own theme. For the default gnome-shell, you need to edit the file as root: /usr/share/gnome-shell/theme/gnome-shell.css Right, it is a css file. Find the font-family keyword and change the corresponding fonts. Then you can restart…
I find git diff output is not easy to read when the text file contains long lines that is long enough to exceeds the screen size. We may not forbid the using the long lines for all files. How to handle lone lines in git diff better? Two possible methods to make git diff with…
How to disable all swaps on Linux to force the application/kernel use the physical memory? To diable all swaps on Linux, run this command as root: # swapoff -a -a means all swaps. Similarly, to enable all swaps on Linux: # swapon -a Read more: How to disable the coredump function of systemd on Linux?…
Google Drive is a nice cloud storage service. It provides a suite of nice online document spreadsheet and slide editors Google Docs, Google Sheets and Google Slides. The collaborative editing and full history tracking features of Google Docs are excellent. Google Drive gives 16GB free storage which is pretty much larger compared to other free…
Thank you so much!