shell: reorder paths for devlang.sh
shell: esl uses $0 now
bash: shorten directory in prompt