diff options
author | Mike Burns <mike@mike-burns.com> | 2013-07-23 19:03:58 +0200 |
---|---|---|
committer | Mike Burns <mike@mike-burns.com> | 2013-07-23 19:03:58 +0200 |
commit | bf87db5b38ec651e3509ea5ec02bb4c7928352e3 (patch) | |
tree | 0dbaaf98db5a38b2f7c8c65f8f46104d80def2f3 /share | |
parent | 3adcb218cbb42026bc0ef906b219f0e1888220cd (diff) |
Rename libexec to share
The `/usr/local/libexec` standard looks awkward on Debian, so after
careful and sad evaluation we've concluded that we do not, in fact,
execute the `rcm.sh` library. Move it to `/usr/local/share` instead.
Diffstat (limited to 'share')
-rw-r--r-- | share/rcm/rcm.sh | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/share/rcm/rcm.sh b/share/rcm/rcm.sh new file mode 100644 index 0000000..54bdb07 --- /dev/null +++ b/share/rcm/rcm.sh @@ -0,0 +1,11 @@ +VERSION="0.0.2" + +version() { + cat << EOV +$1 (rcm) $VERSION +Copyright (C) 2013 Mike Burns +License BSD: BSD 3-clause license + +Written by Mike Burns. +EOV +} |