Jochen Sprickerhof

Last changed: 2016-08-21

personal organizer

File System

I like to have a clean ~ ($HOME), with no cruft lying around (especially no ~/Desktop).

Alternatives:

Window Manager

dwm

Patches:

Alternatives

Browser

surf (Patches: a lot, ask me).

Alternatives

Version Management

Music Manager

Development

Alternatives

Small Scripts

pp: (un)pause media players:

#!/bin/sh
[ -p ~/.config/gmusicbrowser/gmusicbrowser.fifo ] && echo PlayPause > ~/.config/gmusicbrowser/gmusicbrowser.fifo
for i in /tmp/mpv_socket_*; do
  [ -S "$i" ] && echo '{ "command": ["set", "pause", "yes"] }' | nc -w1 -U "$i" > /dev/null
done

dwm-status, dmenu_win, kbled, m, n, o, scr, sfs, tv, umount, urldump (unpublished, write me if you are interested).

Other Utilities