Posts

All the articles I've posted.

• Working With Git

  8 Jan, 2020

  • git (1)
  • tools (2)

  Useful git tricks.

• Makefile Madness

  27 Jun, 2019

  • shell (4)
  • make (1)

  Tricks for transforming Make into a command runner.

• Colouring arbitrary shell output

  24 Mar, 2019

  • python (5)
  • shell (4)
  • linux (5)

  Color shell output with python-pygments.

• Writing a Command for Ranger

  24 Mar, 2019

  • python (5)
  • tools (2)

  Using Python to write a custom command for Ranger file manager.