From ccbb71911874084108954d62c689ea6ebba53958 Mon Sep 17 00:00:00 2001
From: Amin Bandali <bandali@gnu.org>
Date: Fri, 25 Nov 2022 18:40:42 -0500
Subject: Various deb packaging settings/conveniences

---
 .config/profiles/darrud | 2 ++
 1 file changed, 2 insertions(+)

(limited to '.config/profiles/darrud')

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"
-- 
cgit v1.2.3-60-g2f50