• Ubuntu Linux distribution (currently 18.04)
  • zsh (oh-my-zsh) shell
  • gitk as GUI for git, usually I use git via terminal
  • etckeeper for version controlled configuration backup of machines that aren’t managed via configuration management tools
  • Ansible as my preferred configuration management tool
  • IDEs:

    • Webstorm
    • PhpStorm
    • Goland
    • Datagrip
  • Text editor: Sublime Text
  • Media player: VLC & Plex
  • Backup: Synology 918+ NAS & GSuite for offsite backup


  • XMG Core 15 with Intel i7 7700HQ, 16GB DDR4 RAM and 1050Ti
  • DELL U4919DW monitor
  • Logitech Performance Plus M705 mouse
  • this is a reminder to buy a proper keyboard
  • Bose QC 35 II noise-cancelling headphones

Chrome/Chromium extensions