Linux-tools
OpenID server
These days we all like an online identity. In Belgium you could use the eID for authentication, but I prefer OpenID since I can control it completely.
After trying a few OpenID servers, I came along phpMyID. It is the best so far, so I will stick to it.
If you want your own OpenID server, follow this little howto
- Download the server from: http://siege.org/projects/phpMyID/
- Untar it
- create your hashcode: echo -n '<username>:phpMyID:<password>' | openssl md5
- Do your configuration in phpMyID.config.php. The auth_password is the hashcode.
- rename phpMyID.config.php to index.php
- upload the files to your server. (You can just put it in a folder that is world accessible)
Thunderbird to tray
Since I always have my thunderbird running and I really love a clean desktop, I want my thunderbird accessible in tray.
You have different tools for doing this, but there aren't to many that work on my linux box.
I found a few solutions. After testing these, there was only one left:
moztraybiff. It has one downside: it disables the new message pop-ups, but they are working on it.
Just download, install it and off you go. If you want to change the preferences, you have to go to the add-ons window.
Terminal logging
Sometimes you want to log everything what happens in your terminal.
If you use konsole or gnome-terminal, you can change history or scroll settings, but you don't have output to a file.
There are a few simple tools for just doing that, but always with a bit difference:
Like tee. Explained here by my colleague raskas. This is nice, but you aren't able to do manual input.
Therefore you use script. You just create a log file of your terminal sessions, even typo's :) if you log a shell script where manual input is required.
Start logging with:
script [-a] [-c COMMAND] [-f] [-q] [-t] [file]
End logging with:
exit

Read log file:
cat




Recent comments
50 weeks 4 days ago
51 weeks 2 days ago
1 year 15 weeks ago
1 year 16 weeks ago
1 year 18 weeks ago
1 year 21 weeks ago
1 year 26 weeks ago
1 year 26 weeks ago
1 year 29 weeks ago
1 year 31 weeks ago