dotfiles

configuration files for shell, text editor, graphical environment, etc.
git clone git://src.adamsgaard.dk/dotfiles # fast
git clone https://src.adamsgaard.dk/dotfiles.git # slow
Log | Files | Refs | README | LICENSE Back to index

list (140B)

      1 #!/bin/sh
      2 grepflags=-rnE
      3 if [ "$1" = "-i" ]; then
      4 	grepflags="${grepflags}i"
      5 	shift
      6 fi
      7 grep "$grepflags" "$1" | grep -vE '^tags' | less -iF