diff options
author | Tobias Geerinckx-Rice <me@tobias.gr> | 2021-11-24 19:44:49 +0100 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2021-11-24 19:46:39 +0100 |
commit | a4cbd31c5c527e7235eae6f87a0bdbe0640b6013 (patch) | |
tree | b66c060cca131e7e25857ba6ca764f52f73edc62 /nix | |
parent | c47a45ca7e914a7a17c29179fdcab9be77b785f5 (diff) |
home: services: bash: Only source /etc/bashrc if it exists.
* gnu/home/services/shells.scm (home-bash-configuration):
Check whether /etc/bashrc exists before trying to ‘source’ it.
Reported by guixy on #guix.
Diffstat (limited to 'nix')
0 files changed, 0 insertions, 0 deletions