diff options
| author | Xi Ruoyao <xry111@xry111.site> | 2024-11-20 20:20:08 +0800 |
|---|---|---|
| committer | Xi Ruoyao <xry111@xry111.site> | 2024-11-20 20:20:08 +0800 |
| commit | 534d3492bb166f055a141c2d9cd8d0cb838fb15d (patch) | |
| tree | a2de1c11a2e7e39ad5e94be781047a0ae9a23b6b /general/genutils | |
| parent | d504c8fdd25803580dd9ae70f3b4e18172d0b267 (diff) | |
profile: Don't duplicate /etc/bashrc contents in profile
~/.bash_profile sources .bashrc, and the latter sources /etc/bashrc in
turn. So there's no need to duplicate /etc/bashrc contents in profile.
The duplication prompted me to wrongly believe we had not sourced bashrc
in profile.
Diffstat (limited to 'general/genutils')
0 files changed, 0 insertions, 0 deletions