diff options
| author | Amin Bandali <bandali@gnu.org> | 2020-10-06 00:14:12 -0400 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2020-10-06 00:14:12 -0400 |
| commit | ca3a844af240ca87882522d14b530e0f1a6327ef (patch) | |
| tree | b01f2630bf8e9af96d9dd40d8e19540544dd6b71 /.config/profiles/darrud | |
| parent | d7dee82420a04e5c92e5b5ad316e14a49bd4d689 (diff) | |
| download | configs-ca3a844af240ca87882522d14b530e0f1a6327ef.tar.gz configs-ca3a844af240ca87882522d14b530e0f1a6327ef.tar.xz configs-ca3a844af240ca87882522d14b530e0f1a6327ef.zip | |
Move user-level configs out of rc.org
I will keep rc.org around for now, only for system-level (global)
config files.
Diffstat (limited to '.config/profiles/darrud')
| -rw-r--r-- | .config/profiles/darrud | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.config/profiles/darrud b/.config/profiles/darrud new file mode 100644 index 0000000..96cd9f8 --- /dev/null +++ b/.config/profiles/darrud @@ -0,0 +1 @@ +export INFOPATH="$HOME/usr/local/share/info${INFOPATH:+:}$INFOPATH" |