Linux/Ubuntu/Debian tips

Debian is the Linux distribution I've been using for many years. In 2008 I switched to Ubuntu (for workstations, servers are still running on Debian). This is primarily inteded to aid my memory, and to help other people who want to do the same things I do, and who want to save some time.

Unison

My favourite tool for synchronising multiple computers. These are my preferences other than path or ignore:

log = true
ignorecase = true
perms = 0x600
times = true

SSH

This helps when cannot connect to a computer due to having a different key than the one in /etc/ssh/authorized_keys:

$ ssh-keyscan -H -t rsa hero > ~/.ssh/known_hosts
$ ssh-keyscan -H -t rsa hero.fi.muni.cz > ~/.ssh/known_hosts 

---

Jan Obdržálek

Last modified: Tuesday, 01-Jul-2008 15:11:35 CEST