dev_OS
is a slim, sleek and smart Linux Operative System aimed for developers.
In order to build dev_OS
, one would need Vagrant (v2.2) and VirtualBox (v6.1).
dev_OS
is built inside a Fedora 25
Virtual Machine.
After installing Vagrant and VirtualBox,
one could build dev_OS
by running:
vagrant plugin install vagrant-hostmanager vagrant-scp
# execute wget to download all build packages/files to bin/, see docs/build_packages.txt
bash vagrant_start.sh
Install OpenJDK v11 and Jenkins. Once the installation is complete, please execute the following commands:
sudo usermod jenkins -aG %admin # admin: wheel (fedora/centos) or sudo (debian/ubuntu)
sudo mkdir -vp /dev_OS_build/source
# perform a wget to download all build packages/files to /dev_OS_build/source, see docs/build_packages.txt
# create and run a pipeline (with Jenkinsfile)
- Lucio Afonso (Developer)
- Aleksandra Afonso (Designer)
Copyright © 1999-2021 Gerard Beekmans
This project is licensed under the GPL License - see the LICENSE file for details