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