Skip to content
Permalink
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
executable file 35 lines (32 sloc) 1.24 KB
#!/usr/bin/env bash
###############################################################################
### Startup-script
### Copyright 2012 Thomas Järvstrand <tjarvstrand@gmail.com>
###
### This file is part of EDTS.
###
### EDTS is free software: you can redistribute it and/or modify
### it under the terms of the GNU General Public License as published by
### the Free Software Foundation, either version 3 of the License, or
### (at your option) any later version.
###
### EDTS is distributed in the hope that it will be useful,
### but WITHOUT ANY WARRANTY; without even the implied warranty of
### MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
### GNU General Public License for more details.
###
### You should have received a copy of the GNU General Public License
### along with EDTS. If not, see <http://www.gnu.org/licenses/>.
###############################################################################
PROJDIR=${1:-"$HOME"}
ERL=${2:-$(which erl)}
EDTS_HOME="$(cd "$(dirname "$0")" >/dev/null && pwd -P)"
PLUGIN_DIR=$EDTS_HOME/plugins
cd "$EDTS_HOME"
exec "$ERL" \
$3 \
-sname edts \
-edts project_data_dir "\"$PROJDIR\"" \
-edts plugin_dir "\"$PLUGIN_DIR\"" \
-pa "$EDTS_HOME"/{lib,plugins}/*/ebin \
-s edts_app
You can’t perform that action at this time.