Skip to content

Commit 18da50b

Browse files
package stuff and Dockerfile
1 parent 2656465 commit 18da50b

File tree

6 files changed

+572
-7
lines changed

6 files changed

+572
-7
lines changed

.gitignore

+6-5
Original file line numberDiff line numberDiff line change
@@ -1,20 +1,21 @@
1-
# Dependency directories
2-
node_modules/
31

4-
# Generated files
5-
package-lock.json
2+
# node packages
3+
node_modules/
64

5+
# stuff
76
/files/css
87
/files/font-awesome
9-
108
/files/docs*
119
/files/*.sh
1210
/files/ide.*js
1311
/files/version.txt
1412
/files/generate_dsuikit.js
1513
/app/
1614

15+
# hidden files
1716
_*.htm
1817
~*
18+
19+
# temporary
1920
docs-de
2021
de

Dockerfile

+12
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
FROM node:10.19.0
2+
ENV NODE_ENV=production
3+
4+
WORKDIR /app
5+
6+
COPY ["files/package.json", "files/package-lock.json", "./"]
7+
8+
RUN npm install --production
9+
10+
COPY . .
11+
12+
CMD [ "node", "files/generate.js", "-s" ]

files/generate.js

+9-1
Original file line numberDiff line numberDiff line change
@@ -1210,7 +1210,7 @@ if(typeof app == "undefined")
12101210

12111211
var patLang = "", patScope = "", patFunc = "";
12121212
var addcfg = {add:false, langs:{}, scopes:{}};
1213-
var nogen = false;
1213+
var nogen = false, startServer = false;
12141214

12151215
for(var pat of process.argv.slice(2))
12161216
{
@@ -1224,6 +1224,7 @@ if(typeof app == "undefined")
12241224
case "-v": case "--verbose": dbg = true; break;
12251225
case "-c": case "--clean": clean = true; break;
12261226
case "-h": case "--help": app.Alert(help); return;
1227+
case "-s": startServer = true; break;
12271228
case "-al": case "--addlang":
12281229
if(pat.length < 3) Throw(Error("missing option args. expected 2"));
12291230
addcfg.add = true;
@@ -1260,4 +1261,11 @@ if(typeof app == "undefined")
12601261
}
12611262

12621263
if(!nogen) Generate(patFunc, patScope, patLang);
1264+
if(startServer) {
1265+
var express = require('express');
1266+
var server = express();
1267+
server.use("/", express.static("."));
1268+
server.listen(8080);
1269+
console.log("started on localhost:8080");
1270+
}
12631271
}

0 commit comments

Comments
 (0)