From e485e67e0234ec54a61f2699fd0e77c0d6e0a5b5 Mon Sep 17 00:00:00 2001 From: P. J. McDermott Date: Sat, 22 Jul 2017 14:10:16 -0400 Subject: `git ls-files | xargs sed -i 's/\.sm/.sho/g'` --- (limited to 'src/pro-archman.sh') diff --git a/src/pro-archman.sh b/src/pro-archman.sh index 2a534b4..e17b751 100644 --- a/src/pro-archman.sh +++ b/src/pro-archman.sh @@ -69,8 +69,8 @@ use() dir="${default_dir}" fi - if [ -f "${dir}/${module##*/}.sm" ]; then - . "${dir}/${module##*/}.sm" + if [ -f "${dir}/${module##*/}.sho" ]; then + . "${dir}/${module##*/}.sho" else printf '%s: Error: Failed to load module "%s": %s\n' \ "${0##*/}" "${module}" 'no such file or directory' >&2 -- cgit v0.9.1