mirror of
https://git.proxmox.com/git/mirror_xterm.js
synced 2025-10-04 10:56:08 +00:00
parent
29cb576737
commit
c63732ef5f
@ -4,7 +4,13 @@
|
|||||||
tsc
|
tsc
|
||||||
|
|
||||||
# Concat all xterm.js files into a single file and output as a UMD to dist/xterm.js
|
# Concat all xterm.js files into a single file and output as a UMD to dist/xterm.js
|
||||||
browserify out/xterm.js --standalone Terminal -p [ tsify ] --outfile dist/xterm.js
|
browserify ./out/xterm.js --standalone Terminal --debug --outfile ./dist/xterm.js
|
||||||
|
cat ./dist/xterm.js | exorcist ./dist/xterm.js.map -b ./dist > ./dist/xterm.temp.js
|
||||||
|
rm ./dist/xterm.js
|
||||||
|
mv ./dist/xterm.temp.js ./dist/xterm.js
|
||||||
|
|
||||||
|
# Resolve the chain of sourcemaps so that ./dist/xterm.js.map points at ./src
|
||||||
|
sorcery -i dist/xterm.js
|
||||||
|
|
||||||
# Copy all CSS files from src/ to dist/
|
# Copy all CSS files from src/ to dist/
|
||||||
cd src
|
cd src
|
||||||
|
@ -14,6 +14,7 @@
|
|||||||
"browserify": "^13.1.0",
|
"browserify": "^13.1.0",
|
||||||
"chai": "3.5.0",
|
"chai": "3.5.0",
|
||||||
"docdash": "0.4.0",
|
"docdash": "0.4.0",
|
||||||
|
"exorcist": "^0.4.0",
|
||||||
"express": "4.13.4",
|
"express": "4.13.4",
|
||||||
"express-ws": "2.0.0-rc.1",
|
"express-ws": "2.0.0-rc.1",
|
||||||
"glob": "^7.0.5",
|
"glob": "^7.0.5",
|
||||||
@ -22,7 +23,7 @@
|
|||||||
"nodemon": "1.10.2",
|
"nodemon": "1.10.2",
|
||||||
"pty.js": "0.3.1",
|
"pty.js": "0.3.1",
|
||||||
"sleep": "^3.0.1",
|
"sleep": "^3.0.1",
|
||||||
"tsify": "^1.0.7",
|
"sorcery": "^0.10.0",
|
||||||
"typescript": "^2.0.3"
|
"typescript": "^2.0.3"
|
||||||
},
|
},
|
||||||
"scripts": {
|
"scripts": {
|
||||||
|
@ -4,7 +4,8 @@
|
|||||||
"target": "es5",
|
"target": "es5",
|
||||||
"rootDir": "src",
|
"rootDir": "src",
|
||||||
"allowJs": true,
|
"allowJs": true,
|
||||||
"outDir": "out"
|
"outDir": "out",
|
||||||
|
"sourceMap": true
|
||||||
},
|
},
|
||||||
"exclude": [
|
"exclude": [
|
||||||
"addons",
|
"addons",
|
||||||
|
Loading…
Reference in New Issue
Block a user