Gijs Noorlander
7cd26bdf90
[Vagrant] Fix vagrant build installing all required Python packages
2020-06-06 13:41:02 +02:00
Gijs Noorlander
932ffa9adb
[Vagrant] Show Vagrant build as build origin on sysinfo page
2020-05-04 15:27:34 +02:00
Gijs Noorlander
8bf79a60f4
[Vagrant] Fix issue where update fails due to Grub interactive update
2020-05-04 15:18:28 +02:00
Gijs Noorlander
ad0d775f65
[PIO] Use Python 3.8 on Vagrant/Ubuntu builds
2020-05-03 14:11:14 +02:00
Gijs Noorlander
54a4e29016
[PIO] Move build environment to Python 3.8 as 2.7 is no longer supported
2020-05-03 12:53:08 +02:00
Gijs Noorlander
833c13c99a
[Vagrant] Sample pio_envlist.txt file
2019-11-21 16:06:53 +01:00
Gijs Noorlander
a8776b6fc5
[PIO] Add core 2.6.1 SDK3 builds and PIO env list for Vagrant
...
Create a file named "pio_envlist.txt" next to the Custom.h for Vagrant with the selected env names in it, one per line.
Vagrant will then build all named PIO environments.
2019-11-21 10:23:30 +01:00
Gijs Noorlander
6cc5434fb7
[Vagrant] Allow Custom.h file to be used
2019-09-09 19:04:02 +02:00
Gijs Noorlander
04eacb57c4
[Vagrant] Fix changed PIO env name in bootstrap.sh
2019-09-02 13:15:38 +02:00
Gijs Noorlander
8b9f66e465
[Vagrant] Check if file exists before adding CRC info and quiet ZIP
2019-09-02 12:59:45 +02:00
Gijs Noorlander
98a17a39aa
[Build] Start making Vagrant provisioning for quick self builds
...
Installing Vagrant:
Vagrantup.com site: https://www.vagrantup.com/docs/installation/
VirtualBox: https://www.virtualbox.org/
Great tutorial: https://www.sitepoint.com/getting-started-vagrant-windows/
After installing Vagrant and VirtualBox, open a shell in the tools/vagrant folder.
Run:
vagrant up
To halt the VM, type:
vagrant halt
2019-09-02 11:07:25 +02:00
Gijs Noorlander