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 Gnome 3.
Amazon S3 is a widely used public cloud storage system. S3 allows an object/file to be up to 5TB which is enough for most applications. The AWS Management Console provides a Web-based interface for users to upload and manage files in S3 buckets. However, uploading a large files that is 100s of GB is not…
git submodule is a very useful tools in git to include other git repositories in one repository to handle cases such as library dependencies. In this post, I summarize some commonly used commands that I find useful for working with git submodule. For the list of full commands, check the git submodule manual. Add a…
The heirloom mailx (or s-nail if you are using Ubuntu 18 or later or similar releases) command in Linux is still providing service for guys like me, especially when we need to send email automatically by script. Gmail is great. Now, how to use gmail’s smtp in mailx/mail? gmail is a little special since gmail’s…
Linux is a great platform for software development targeting servers or backends. In general, working on Linux is very productive. The problem that beginners on Linux face is the the learning curve is steep at the beginning. But believe me, after you get through the initial green steep learning step as in the figure below…
Technical discussions on Redis. Redis internal documentation: http://redis.io/topics/internals Redis manifesto, the philosophy behind Redis: http://oldblog.antirez.com/post/redis-manifesto.html Redis Architecture: Overview Of Redis Architecture Redis data model and eventual consistency: http://antirez.com/news/36 Read more: Linear Consistency Model for Computer Systems What are the differences between NUMA architecture and SMP architecture? Linux boots failed with “sulogin: can not open password…
How to set an environment variable in csh? To set an environment variable in csh: setenv VARIABLE value Most commands used to display/manipulate the environment variables for bash are also available for csh: https://www.systutorials.com/qa/476/how-to-set-an-environment-variable-in-bash Read more: How to set an environment variable in bash? How to get an environment variable in Python? How to get…