chiark / gitweb /
 
descriptionDotfiles and other configuration.
ownerMark Wooding
last changeThu, 14 Jun 2018 10:50:46 +0000 (11:50 +0100)
shortlog
8 days ago Mark WoodingMakefile: Don't shell out for `pwd' all the time. master
12 days ago Mark Woodingdot/profile: Support (and export) `$https_proxy' variable.
2018-06-08 Mark Woodingdot/zshrc: Turn off `KSH_GLOB'.
2018-06-03 Mark Woodingdot/emacs, el/dot-emacs: Trash files by default rather...
2018-06-02 Mark Woodingdot/inputrc: Guard `shell-mumble' bindings.
2018-06-02 Mark Woodingdot/inputrc: Categorize C-M-w properly.
2018-05-30 Mark Woodingel/dot-emacs.el (mdw-fontify-scala): Highlight punctuat...
2018-05-30 Mark Woodingdot/emacs: Turn off `adaptive-fill-mode'.
2018-05-30 Mark Woodingel/dot-emacs.in (mdw-c-comment-fill-prefix): Fix it...
2018-05-30 Mark Woodingdot/ipython-key-bindings.py: Fix because IPython is...
2018-05-23 Mark Woodingdot/zshrc: Fix path ellipsization in the prompt.
2018-05-23 Mark Woodingdot/emacs-calc: Add peta- and exa- prefixes for bits...
2018-05-20 Mark WoodingMerge remote-tracking branch 'staging'
2018-05-20 Mark Woodingel/dot-emacs.el: Add a useful `w3m' binding to open...
2018-05-20 Mark Woodingdot/gitconfig.in: Don't have `git send-email' try to...
2018-05-20 Mark Woodingdot/gitconfig.in: Abolish the `git email' alias.
...
heads
8 days ago master
3 weeks ago fairchild