Vegard Vesterheim

Add CLI options for commit and push

6

There are CLI options for cloning a repo and loading a model. I'd like to see options for commiting and pushing as well. Something like: --modelrepository.commit --modelrepository.push The commit option...

Automatic creation of demo-it steps from an org file

2

A feature request: Given an org-file containing some headings and some source-code blocks containing named shell-commands, it should be possible to auto-generate the demo-it steps for presenting this org-file. Each...

Installation issue using ./install_flowbat_ubuntu.sh

3

Running the installation script 'install_flowbat_ubuntu.sh' on a freshly installed Ubuntu Xenial server results in the following error message: ``` ... Setting up mongodb-server (1:2.6.10-0ubuntu1) ... Adding system user `mongodb' (UID...