2016-10-17 10:34:48 +02:00
|
|
|
#!/bin/bash
|
|
|
|
set -ex
|
|
|
|
case `hostname` in
|
|
|
|
dice-dlundin2)
|
2017-06-28 09:43:51 +02:00
|
|
|
exec st.dark -f "Source Code Pro-16" $@
|
2016-10-17 10:34:48 +02:00
|
|
|
;;
|
|
|
|
dredd)
|
2017-06-28 09:43:51 +02:00
|
|
|
exec st.dark -f "Source Code Pro-16" $@
|
2016-10-17 10:34:48 +02:00
|
|
|
;;
|
|
|
|
esac
|
2017-03-01 19:44:28 +01:00
|
|
|
exec st.dark $@
|