add bin/dev.default script for easier onboarding

waiyan112 · Mar 20, 2016 · fee46a0 · fee46a0
1 parent a6da0af
commit fee46a0
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,4 +1,5 @@
 conf/application.conf
+bin/dev
 logs
 project/project
 project/target

diff --git a/bin/dev.default b/bin/dev.default
@@ -0,0 +1,11 @@
+#!/bin/sh
+
+# Starts a dev console to compile and run lichess.
+# To edit this file, copy it to bin/dev: it's not indexed by Git.
+# cp bin/dev.default bin/dev
+# chmod +x bin/dev
+
+export JAVA_OPTS="-Xms1536M -Xmx1536M -Dkamon.auto-start=true"
+
+# Hide pesky reboot exceptions
+sbt -Dhttp.port=9663 "$@" 2> /dev/null