The .bashrc-work is a hook to be provided by the work machine, so not gitted here