diff options
| author | Amin Bandali <bandali@gnu.org> | 2022-12-24 15:49:15 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2022-12-24 15:49:15 -0500 |
| commit | 22a90cca43cc2d42cd8f658b6ee388a733afd9ed (patch) | |
| tree | 5f2c6c54876e79636269b23e3f7b061b7482e860 /.config/darrud.profile | |
| parent | 0a2ebcf45c0a40dd258e91bd2f4a3bd90b0fae18 (diff) | |
| download | configs-22a90cca43cc2d42cd8f658b6ee388a733afd9ed.tar.gz configs-22a90cca43cc2d42cd8f658b6ee388a733afd9ed.tar.xz configs-22a90cca43cc2d42cd8f658b6ee388a733afd9ed.zip | |
Move host-specific additional profiles into .config/ itself
Diffstat (limited to '.config/darrud.profile')
| -rw-r--r-- | .config/darrud.profile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.config/darrud.profile b/.config/darrud.profile new file mode 100644 index 0000000..a6902ec --- /dev/null +++ b/.config/darrud.profile @@ -0,0 +1,4 @@ +# -*- mode: sh; sh-shell: sh -*- + +# export IS_GUIX_SYSTEM=true +export INFOPATH="$HOME/usr/local/share/info${INFOPATH:+:}$INFOPATH" |