diff options
| author | Amin Bandali <bandali@gnu.org> | 2022-11-25 18:40:42 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2022-11-25 18:41:37 -0500 |
| commit | ccbb71911874084108954d62c689ea6ebba53958 (patch) | |
| tree | 9b3b3a54b3f0ce77c0ec2784a8e9af158adee63b /.config/profiles/darrud | |
| parent | 2e039832e37e9ff2b901cedeb1a327de8ed0fb05 (diff) | |
| download | configs-ccbb71911874084108954d62c689ea6ebba53958.tar.gz configs-ccbb71911874084108954d62c689ea6ebba53958.tar.xz configs-ccbb71911874084108954d62c689ea6ebba53958.zip | |
Various deb packaging settings/conveniences
Diffstat (limited to '')
| -rw-r--r-- | .config/profiles/darrud | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.config/profiles/darrud b/.config/profiles/darrud index 4fa6735..a6902ec 100644 --- a/.config/profiles/darrud +++ b/.config/profiles/darrud @@ -1,2 +1,4 @@ +# -*- mode: sh; sh-shell: sh -*- + # export IS_GUIX_SYSTEM=true export INFOPATH="$HOME/usr/local/share/info${INFOPATH:+:}$INFOPATH" |