Heute sind mir wieder ein paar Audiodateien in die Hände gefallen, die seit Jahren als wav oder wma in meiner Musiksammlung herumlagen. Dummerweise kann mein Handy nur mp3. Also dachte ich mir ich könnte die ja mal konvertieren… Allerdings war ich dann doch zu faul die betreffenden Dateien von Hand aus allen Verzeichnissen zu suchen und zu konvertieren. Also musste ein kleiner Einzeiler auf der Kommandozeile her. Mit find und dem Soundcoverter, der auch im Batchmodus arbeitet, war die Arbeit dann auch schell getan.

Beim lernen in der FH wurde uns heute das pushen auf mehrere git server, sprich verschiedene remotes, zu mühsam. Zwar tut ein git push origin master && git push github master genau das, was man möchte, aber man kennt ja nicht immer alle remotes in jedem Repository. Also haben wir uns schnell mit einer kleinen Shellfunktion beholfen. Diese einfach in die .zshrc einfügen: function powerpush(){ for repo in $(cat .