2015-12-19 13:59:45 +01:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
2018-12-03 19:35:56 +01:00
|
|
|
#ant clean
|
|
|
|
|
ant package-all
|
|
|
|
|
|
2017-03-16 17:02:11 +01:00
|
|
|
# Kill current session
|
|
|
|
|
screen -S hal -X kill
|
|
|
|
|
# Start new session
|
2016-02-27 02:16:50 +01:00
|
|
|
screen -S hal -L -d -m ant run
|
2015-12-19 13:59:45 +01:00
|
|
|
|
|
|
|
|
echo "-----------------"
|
|
|
|
|
screen -list
|
2016-01-04 23:12:29 +01:00
|
|
|
|
