 Eduardo Silva
|
48f05e2bdb
Duda: delete JSON tree context after format
|
11 years ago |
 Hamilton Turner
|
81604309e4
Merge pull request #1068 from achlipala/master
|
11 years ago |
|
Hamilton Turner
|
25f89447cf
Main README updates
|
11 years ago |
|
Hamilton Turner
|
a4f7ddea69
Ruby: Indicate sinatra needs maven (for compiling jruby)
|
11 years ago |
|
Hamilton Turner
|
500ad10c4b
Deployment: Add support for setting virtual box cpu count
|
11 years ago |
|
Hamilton Turner
|
436fbcf17e
Merge pull request #1051 from hamiltont/vagrant-setup
|
11 years ago |
|
Hamilton Turner
|
8ebb8f750f
Minor improvements
|
11 years ago |
 Adam Chlipala
|
9ce3f7caea
Remove unnecessary line from Ur/Web configuration file
|
11 years ago |
|
Hamilton Turner
|
f7789a7031
Fix typo
|
11 years ago |
|
Hamilton Turner
|
edb1d3bd9c
Add progress bar to framework
|
11 years ago |
|
Hamilton Turner
|
edae48b03d
Set better env variables for development
|
11 years ago |
|
Hamilton Turner
|
99c4f0ea53
Never send sensitive parameters to the guest OS
|
11 years ago |
|
Hamilton Turner
|
ca4fdcb337
Minor modifications to bootstrap
|
11 years ago |
|
Hamilton Turner
|
b22fe85bcf
More read me updates
|
11 years ago |
|
Hamilton Turner
|
adc6b655b9
Deployment read me update
|
11 years ago |
|
Hamilton Turner
|
f67bd59abf
Change directory structure
|
11 years ago |
|
Hamilton Turner
|
50464b1fda
Ensure replacing environment does not crash toolset if there are bash errors
|
11 years ago |
|
Hamilton Turner
|
07b35fc0ff
Update vagrant files to use core
|
11 years ago |
|
Hamilton Turner
|
6b7f2b463e
replace mode with role
|
11 years ago |
|
Hamilton Turner
|
e72bcb4665
Rename/move more into the vagrant-common folder
|
11 years ago |
|
Hamilton Turner
|
c4b36b5efb
Print verification summary regardless of mode
|
11 years ago |
|
Hamilton Turner
|
34e0790236
Reorganize directory structure
|
11 years ago |
|
Hamilton Turner
|
e1413aaff2
Commit everything so I can move folders easily
|
11 years ago |
|
Hamilton Turner
|
9ed303700c
Refactor Vagrantfiles to use external Ruby scripts
|
11 years ago |
|
Hamilton Turner
|
c48758a5b2
Tons of README updates
|
11 years ago |
|
Hamilton Turner
|
73a0f96170
Cleanup multi bootstrap script
|
11 years ago |
|
Hamilton Turner
|
20c7ba331c
Amazon multi-host support & amazon network setup script
|
11 years ago |
|
Hamilton Turner
|
abeb40c5cd
Add multi host support
|
11 years ago |
|
Hamilton Turner
|
5af9ffbca8
Minor README updates
|
11 years ago |
|
Hamilton Turner
|
e5d58e1b93
Update vagrant-specific README
|
11 years ago |
