laemmys blog

Wenn man die zsh als default Shell nutzen will ändert man das gewöhnlich mit dem Befehl chsh [change shell]. Das ist aber leider ein Befehl der auf manchen Maschinen (rootshell.be) nur von root ausgeführt werden kann.

Hat man nun auf einer Maschine keine root Rechte kann man auch alternativ die .profile oder die .bash_profile bearbeiten.

Wenn die zsh in /bin/zsh installiert ist:

[ -f /bin/zsh ] && exec /bin/zsh -l

Ist die zsh nicht installiert kopiert man die ausführbare zsh datei vom eigenem PC nach ~/bin/zsh und fügt folgendes in die .profile oder .bash_profile ein

[ -f $HOME/bin/zsh ] && exec $HOME/bin/zsh -l

Hab gestern zwei sehr nützliche Shell Scripts im Inet gefunden. Das erste Script sucht im deutschen Wikipedia nach einem Eintrag für das beim Scriptstart angegebene Suchwort. Mehr Infos?! Danke Marcel :-)

Das zweite hab ich beim durchstöbern der FAQ Datenbank für #Penguins-de gefunden. Mit diesem nopaste-Script kann man den Inhalt einer sich auf dem System befindlichen Textatei bei http://rafb.net/paste pasten.

Irgendwie laufen meine Herbstferien bisher überhaupt nicht so wie ich mir das gewünscht hab. Aber egal! Hab mal eine neues Theme installiert. Hab es wieder auf alexking.org gefunden. Diesmal ist es von Razvan Teodorescu.