2015-01-25 18:36:02 +01:00
|
|
|
#!/bin/sh
|
|
|
|
|
2015-02-27 15:20:32 +01:00
|
|
|
set -e
|
|
|
|
|
2017-02-28 18:29:50 +01:00
|
|
|
PREFIX=${1:-/usr/local}
|
2015-11-01 19:49:39 +01:00
|
|
|
ETCPREFIX=$2
|
2015-05-18 03:49:36 +02:00
|
|
|
|
2015-11-01 19:49:39 +01:00
|
|
|
|
2015-05-18 03:49:36 +02:00
|
|
|
BINDIR=$PREFIX/bin
|
|
|
|
LIBDIR=$PREFIX/share/grc
|
|
|
|
MANDIR=$PREFIX/share/man
|
2015-11-01 19:49:39 +01:00
|
|
|
CONFDIR=$ETCPREFIX/etc
|
2015-05-18 03:49:36 +02:00
|
|
|
PROFILEDIR=$CONFDIR/profile.d
|
2015-01-25 18:36:02 +01:00
|
|
|
|
|
|
|
mkdir -p $BINDIR || true
|
|
|
|
cp -fv grc grcat $BINDIR
|
|
|
|
mkdir -p $LIBDIR || true
|
2017-04-21 10:30:25 +02:00
|
|
|
cp -fv colourfiles/conf.* $LIBDIR
|
2015-05-19 15:32:05 +02:00
|
|
|
mkdir -p $MANDIR/man1
|
|
|
|
cp -fv grc.1 $MANDIR/man1
|
|
|
|
cp -fv grcat.1 $MANDIR/man1
|
2015-11-01 20:03:34 +01:00
|
|
|
mkdir -p $CONFDIR
|
2015-01-25 18:36:02 +01:00
|
|
|
cp -fv grc.conf $CONFDIR
|
2015-11-01 20:03:34 +01:00
|
|
|
mkdir -p $PROFILEDIR
|
2015-05-18 03:49:36 +02:00
|
|
|
cp -fv grc.bashrc $PROFILEDIR
|
2017-04-21 10:30:25 +02:00
|
|
|
|
|
|
|
|