https://pantsbuild.org/ logo
r

rough-minister-58256

05/11/2016, 11:04 PM
$HOME generally seems shorter - /home/xxx /Users/xxx etc