/reproduce/software/shell/

• ../
• bashrc.sh
• configure.sh
• git-post-checkout
• git-pre-commit