I use ZFS as a storage driver for docker engine running on my machine. Today after my machine rebooted from a crash, yes Linux system crashes too, I notice that all my docker images and containers disappeared. ~ ❯❯❯ docker ps CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES ~ ❯❯❯ docker ps -a CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES First thing came to my mind was “did I accidentally destroy docker zfs data set last night?” ...

Sometimes in life, greater is not always better. Here’s a config which I used to make the Gnome 3 title bar smaller. Create a file in ~/.config/gtk-3.0/gtk.css: headerbar.default-decoration { padding-top: 3px; padding-bottom: 3px; min-height: 0px; font-size: 0.7em; } headerbar.default-decoration button.titlebutton { padding: 0px; min-height: 0px; } Here’s how the title bar looks like before and after applying the custom css file: ...

FreeBSD 10 comes with a pkgng package manager which allows to install binary packages faster and easier. Unfortunately, there is no binary package available for hack-font for FreeBSD 10. What is hack-font? It’s a very good font which looks very good for source code. Here’s how to install it from source. Check /usr/ports/x11-fonts to see if there is a directory named hack-font. If not, you might need to download or update the ports first. If you don’t have ports installed at all, do this: ...

I upraded puppetserver from 2.4.0 to 2.5.0 on a server running Centos 6.8. Then, puppetserver no longer starts. The log (I think it was puppetsrver-daemon.log) said: Exception in thread "main" java.lang.IllegalArgumentException: Specified bootstrap config file does not exist: '/etc/puppetlabs/puppetserver/bootstrap.cfg' As the error reported, /etc/puppetlabs/puppetserver/bootstrap.cfg was not there. The disappearance must have happened during the puppetserver upgrade. I can confirm this by looking at my backup directory and finding the boostrap.cfg file there: /srv/backup/etc/puppetlabs/puppetserver/bootstrap.cfg. ...

Sure, you Linux gurus must be laughing at me to see this post. However, this is my 2nd time needing to remove a user’s password and I had to Google for it! So here is just a quick tip to mind your truly: # passwd -d your_username In case you’re wondering why I need to remove a password for an account, it’s for my 4 year old daughter who enjoys playing supertuxcart. She wants to have her own user account on a Fedora 24 box without a password. ...