diff options
| author | Xi Ruoyao <xry111@xry111.site> | 2024-11-20 16:29:45 +0800 |
|---|---|---|
| committer | Xi Ruoyao <xry111@xry111.site> | 2024-11-20 16:37:09 +0800 |
| commit | d504c8fdd25803580dd9ae70f3b4e18172d0b267 (patch) | |
| tree | 3d0f1572d19c70aa22062997c1bd9dbea2a44c85 /changelog.xml | |
| parent | a0476df2711824ccc76594b6760d12b95906bb67 (diff) | |
I intended to do this in 7c9e274a7ac1 but I made the change at a wrong
location. As we already have "source ~/.bashrc" in ~/.bash_profile and
"source /etc/bashrc" in ~/.bashrc, simply adding the line into
/etc/bashrc is enough for both login and non-login interactive shells.
P.S. the log of the last commit (reverting 7c9e274a7ac1) is also wrong.
I didn't realize we already source bashrc in bash_profile.
Diffstat (limited to 'changelog.xml')
0 files changed, 0 insertions, 0 deletions