diff options
author | Travis Willard <travis@archlinux.org> | 2008-01-13 14:53:29 -0500 |
---|---|---|
committer | Aaron Griffin <aaronmgriffin@gmail.com> | 2008-01-23 16:11:38 -0600 |
commit | 67485704135ef41d907a4c93db5fbcaee3960bc2 (patch) | |
tree | 51dbc73113e967c04a92ed204cf1e58bb16e43c3 | |
parent | d853dee3ed47c30497e0c97d0c7962c4d196dde9 (diff) | |
download | devtools32-67485704135ef41d907a4c93db5fbcaee3960bc2.tar.xz |
Improve makepkg config loading for checkpkg and extrapkg.
Now, checkpkg and extrapkg will fail if /etc/makepkg.conf doesn't exist, and will also try to load in personal user's settings in ~/.makepkg.conf
Signed-off-by: Travis Willard <travis@archlinux.org>
Signed-off-by: Aaron Griffin <aaronmgriffin@gmail.com>
-rwxr-xr-x | checkpkg | 13 | ||||
-rwxr-xr-x | extrapkg | 13 |
2 files changed, 24 insertions, 2 deletions
@@ -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' @@ -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` |