diff options
| author | Marius Halden <marius.h@lden.org> | 2017-11-03 16:13:59 +0100 |
|---|---|---|
| committer | Marius Halden <marius.h@lden.org> | 2017-11-03 16:13:59 +0100 |
| commit | 42d874db498d0fabae92d0c87acf99054d92391b (patch) | |
| tree | d0cf5afdee3d244c4e5da6fe1ab9acba620634df /script/console | |
| parent | 19a7c5dda85a47a68040c742791e9cd9d3e52be6 (diff) | |
| parent | dc7613329c275cd158fdde8faf1c0e301f5b7202 (diff) | |
Merge tag 'v2.2' into fiksgatami-dev
Diffstat (limited to 'script/console')
| -rwxr-xr-x | script/console | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/script/console b/script/console new file mode 100755 index 000000000..e92105f73 --- /dev/null +++ b/script/console @@ -0,0 +1,6 @@ +#!/bin/bash + +set -e +DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"/.. + +eval `"$DIR"/setenv.pl` |