From fee46a047890c7794c759404529be8d0533400a1 Mon Sep 17 00:00:00 2001
From: Thibault Duplessis <thibault.duplessis@gmail.com>
Date: Sun, 20 Mar 2016 18:21:23 +0700
Subject: [PATCH] add bin/dev.default script for easier onboarding

---
 .gitignore      |  1 +
 bin/dev.default | 11 +++++++++++
 2 files changed, 12 insertions(+)
 create mode 100644 bin/dev.default

diff --git a/.gitignore b/.gitignore
index b07a3d1f5b..82abf1821f 100644
--- 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
new file mode 100644
index 0000000000..24523ffb0c
--- /dev/null
+++ 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