diff options
| author | P. J. McDermott <pj@pehjota.net> | 2017-07-22 14:10:16 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2017-07-22 14:10:16 (EDT) |
| commit | e485e67e0234ec54a61f2699fd0e77c0d6e0a5b5 (patch) | |
| tree | c17ec8461b1be657f21eeb8007d16fcf2754d91d /src/pro-archman.sh | |
| parent | ecf4dead3377eeca130af6983524569817337a51 (diff) | |
`git ls-files | xargs sed -i 's/\.sm/.sho/g'`
Diffstat (limited to 'src/pro-archman.sh')
| -rw-r--r-- | src/pro-archman.sh | 4 |
1 files changed, 2 insertions, 2 deletions
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 |