Category: Tipps & Tricks

Bash Collection – Server Health Monitor for getting quick information of server status

The last three days, I’ve created a small bash script that outputs some important server health information. I’m using this script for displaying the server health on my Raspberry Pi at home. I’ll buy one of these official 7 inch touch screen displays for the Raspberry Pi and then show these health information on it. […]


Bash Collection – Howto recursively replace file headers of source files

Gerhard Gappmeier has submitted a really cool and useful bash script, that he is using for years now. It is very helpful for developers. This scripts can replace file headers from C/C++/JAVA header and source files. Often it’s necessary to replace the license conditions in multiple source files, update the copyright year, or simply make […]


Bash Collection – Script to get the real amount of used memory of an application

The following script was written by me to be able to get the really used amount of memory for one single application. Since it isn’t that easy to get the used memory through “top” or “ps” or similar tools, this may be helpful for somebody. The output is in megabytes and looks like this:


Bash Collection – Script for cutting parts from large file

The following small script was written by me in order to be able to simply cut parts from very large text files. It is very useful for database administrators to for example cut the SQL statements for creating and restoring one single table from a really large SQL dump. For this you would need to […]