bin/update
author Tero Marttila <tero.marttila@aalto.fi>
Tue, 03 Mar 2015 13:07:31 +0200
changeset 728 d3cea9988848
parent 654 8069b08e90ac
permissions -rwxr-xr-x
merge
#!/bin/bash

# absolute path to directory with etc/ and var/
SRV=${SRV:-$(pwd)}

# path (relative to $SRV) to directory with bin/
OPT=${OPT:-./opt}

# path (relative to $SRV) to lib/ directory with pvl/
LIB=${LIB:-./lib}

. $LIB/pvl/hosts/update.sh