Commit Graph

11 Commits

Author SHA1 Message Date
1071915f27 Gulp fix for NodeJS 10 2019-01-04 14:21:27 +01:00
a1d84196cd Add additional dependencies to package.json 2018-09-19 12:00:37 +02:00
90d6685add Gulp: Cleanup dead code
The task for building tutti was never used, since all functionality is
built by pillar.

Also remove the dependencies for jQuery and Bootstrap in package.json
2018-09-14 01:19:45 +02:00
cc16351136 NPM: Upgrade libraries
New dependency is jQuery, we already depended on it it but now we use it
from npm package for easier version control and upgrades.
2018-08-31 13:54:39 +02:00
2be601d0b0 Introducing Bootstrap 4
Bootstrap (and its dependency popper.js) are now used from npm packages,
allowing better version control and custom building of only the required
components for both styling and javascript.

At this moment the whole styling of bootstrap is included, once the Cloud
redesign is over it will be stripped to only the used components.
2018-08-27 16:52:22 +02:00
94ef616593 Placing code + assets directly into Docker image
This radically changes the way we deploy to the production server, as a
Git checkout is no longer required there. All the necessary files are
now inside the docker image. As a result, /data/git should no longer be
mounted as a Docker volume.

- Renamed docker/build.sh → docker/full_rebuild.sh
  This makes it clearer that it performs a full rebuild of the Docker images.
- Full rebuilds should be done on a regular basis to pull in Ubuntu
  security updates.
- Removed rsync_ui.sh, we no longer need it. Other projects can also
  remove their rsync_ui.sh.
- Moved deploy.sh → deploy/2docker.sh and added deploy/2server.sh
2018-02-02 12:01:17 +01:00
14d20edbb7 Gulp: converted package.json indentation to tabs 2017-09-28 15:42:50 +02:00
2c4527c4d6 Gulp: added 'cleanup' task that erases all gulp-generated files.
This runs automatically when using --production
2017-09-28 15:37:33 +02:00
ec99b3207a Gulp: fixed license expression 2017-09-28 15:36:42 +02:00
ac7dd4c60a Gulp: fixed project name and repo URL 2017-09-28 15:36:17 +02:00
f6df37ec24 Introducing the gulp command
From now on we work with .pug files for templates.
2017-07-13 18:26:54 +02:00