summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xcheckpkg13
-rwxr-xr-xextrapkg13
2 files changed, 24 insertions, 2 deletions
diff --git a/checkpkg b/checkpkg
index cd08121..2cffa78 100755
--- a/checkpkg
+++ b/checkpkg
@@ -1,6 +1,17 @@
#!/bin/bash
-source /etc/makepkg.conf
+# Source makepkg.conf; fail if it is not found
+if [ -r "/etc/makepkg.conf" ]; then
+ source "/etc/makepkg.conf"
+else
+ echo "/etc/makepkg.conf not found!"
+ exit 1
+fi
+
+# Source user-specific makepkg.conf overrides
+if [ -r ~/.makepkg.conf ]; then
+ source ~/.makepkg.conf
+fi
strip_url() {
echo $1 | sed 's|^.*://.*/||g'
diff --git a/extrapkg b/extrapkg
index 437b330..e4708ac 100755
--- a/extrapkg
+++ b/extrapkg
@@ -1,6 +1,17 @@
#!/bin/bash
-source /etc/makepkg.conf
+# Source makepkg.conf; fail if it is not found
+if [ -r "/etc/makepkg.conf" ]; then
+ source "/etc/makepkg.conf"
+else
+ echo "/etc/makepkg.conf not found!"
+ exit 1
+fi
+
+# Source user-specific makepkg.conf overrides
+if [ -r ~/.makepkg.conf ]; then
+ source ~/.makepkg.conf
+fi
cmd=`basename $0`