From c4b1611ec7e81be1b0e5b54439eb81736c4a0a4d Mon Sep 17 00:00:00 2001 From: grav Date: Sun, 10 Mar 2024 13:21:30 +0100 Subject: [PATCH] (Grav GitSync) Automatic Commit from grav --- .../how-we-replaced-vagrant-with-devenv/default.md | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/pages/01.blog/how-we-replaced-vagrant-with-devenv/default.md b/pages/01.blog/how-we-replaced-vagrant-with-devenv/default.md index 69cadd3..fafbf63 100644 --- a/pages/01.blog/how-we-replaced-vagrant-with-devenv/default.md +++ b/pages/01.blog/how-we-replaced-vagrant-with-devenv/default.md @@ -1,5 +1,13 @@ --- title: 'How we replaced Vagrant with devenv' +publish_date: '2024-03-10 13:20' +taxonomy: + tag: + - NixOS + - Nix + - work + - Vagrant + - devenv --- # How we replaced Vagrant with devenv @@ -245,7 +253,7 @@ could lead to instability. This is still a concern, but the long term plan is to create containers from our nix-based setup and move the servers closer to our development environment. -# Footnotes +## Footnotes [^1]: It started more than 20 years ago; Docker, by comparison, is only ten years old.