In install.sh and uninstall.sh, I added the following lines at the top:
prefix="$1" [ "$prefix" = "" ] && prefix="/usr/local"
and replaced "/usr" with $prefix in the rest of the scripts.
Now I can go e.g.
sudo ./install.sh /usr
(/usr/local is a better default).
You're right, the install script should probably offer a prefix switch, and use /usr/local as a default.
Please note that the install.sh needs to modify bashrun in that case, since bashrun includes one hardcoded path on line 33:
BASHRC=/usr/share/bashrun/bashrc
(You didn't explicitly mention whether you did this or not)
I'll consider it for the next release. Thanks for the input, Henning
Log in to post a comment.
In install.sh and uninstall.sh, I added the following lines at the top:
prefix="$1"
[ "$prefix" = "" ] && prefix="/usr/local"
and replaced "/usr" with $prefix in the rest of the scripts.
Now I can go e.g.
sudo ./install.sh /usr
(/usr/local is a better default).
You're right, the install script should probably offer a prefix switch, and use /usr/local as a default.
Please note that the install.sh needs to modify bashrun in that case, since bashrun includes one hardcoded path on line 33:
BASHRC=/usr/share/bashrun/bashrc
(You didn't explicitly mention whether you did this or not)
I'll consider it for the next release.
Thanks for the input,
Henning