Jochen Sprickerhof
Last changed: 2021-04-23

Personal Organizer

File System

Browser

Music Manager

Development

Small Scripts

pp: (un)pause media players:

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

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

Other Software