diff options
author | Dimitri Staessens <[email protected]> | 2019-03-16 17:43:05 +0100 |
---|---|---|
committer | Dimitri Staessens <[email protected]> | 2019-03-16 17:43:05 +0100 |
commit | 79acfcf1599496e67b20c39c00a100b07c383ab1 (patch) | |
tree | 0651646a631545b2ff56074f4c8f492d69dbb170 /themes/terrassa/usage.sh | |
parent | 4b98568dbdc0dddf8255abbbb08565821b79f839 (diff) | |
download | website-79acfcf1599496e67b20c39c00a100b07c383ab1.tar.gz website-79acfcf1599496e67b20c39c00a100b07c383ab1.zip |
theme: Add terrassa theme
Diffstat (limited to 'themes/terrassa/usage.sh')
-rwxr-xr-x | themes/terrassa/usage.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/themes/terrassa/usage.sh b/themes/terrassa/usage.sh new file mode 100755 index 0000000..23d8d60 --- /dev/null +++ b/themes/terrassa/usage.sh @@ -0,0 +1,5 @@ +#!/bin/bash + +make build +make docker-nc +make run
\ No newline at end of file |