72d6ff3c3b
docs: Fix more capitalization issues.
...
Signed-off-by: Anders Kaseorg <anders@zulip.com>
2020-10-23 11:46:55 -07:00
0f30c8c4ba
dev-vagrant-docker: Upgrade docker-systemctl-replacement.
...
This fixes the 45 second boot delay bug.
Signed-off-by: Anders Kaseorg <anders@zulipchat.com>
2019-06-24 22:06:32 -07:00
5c734f7048
dev-vagrant-docker: Clear redis-server ExecStart before overriding it.
...
Real systemd requires this. docker-systemctl-replacement currently
doesn’t but maybe it will later.
Signed-off-by: Anders Kaseorg <anders@zulipchat.com>
2019-06-01 16:55:56 -07:00
630f0fa761
Vagrantfile: Add UBUNTU_MIRROR configuration option.
...
The default http://archive.ubuntu.com/ubuntu/ is pretty slow in some
locations.
Signed-off-by: Anders Kaseorg <anders@zulipchat.com>
2019-05-29 16:19:39 -07:00
f21d3be5fb
dev-vagrant-docker: Copy the host user’s uid for the vagrant user.
...
This allows /srv/zulip to be writable from the guest even if the host
user’s uid is not 1000.
Signed-off-by: Anders Kaseorg <anders@zulipchat.com>
2019-05-27 19:21:51 -07:00
5231c8e575
dev-vagrant-docker: Unminimize the minimized Ubuntu cloud image.
...
This restores man pages and other documentation that have been
stripped from the default Ubuntu cloud image and installs
ubuntu-minimal and ubuntu-standard.
Signed-off-by: Anders Kaseorg <anders@zulipchat.com>
2019-05-27 12:53:11 -07:00
684ebc2a5e
Vagrantfile: Support docker provider.
...
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
2019-05-24 15:43:23 -07:00
Anders Kaseorg
Anders Kaseorg
Anders Kaseorg