From 3e72e442a4d332dc7a5c2827213ba8ce2eb25b83 Mon Sep 17 00:00:00 2001 From: voodoorai2000 Date: Sat, 6 Apr 2019 20:54:26 +0200 Subject: [PATCH] Add Vagrant documentation for Debian --- docs/en/installation/debian.md | 5 +++++ docs/es/installation/debian.md | 5 +++++ 2 files changed, 10 insertions(+) diff --git a/docs/en/installation/debian.md b/docs/en/installation/debian.md index b8e1b927f..201c712d3 100644 --- a/docs/en/installation/debian.md +++ b/docs/en/installation/debian.md @@ -8,6 +8,11 @@ Note that 'sudo' is not installed by default in Debian. It's possible to install su ``` +> For [Vagrant](/en/installation/vagrant.md) run: +> ``` +> sudo su - +> ``` + ## Git Git is officially maintained in Debian: diff --git a/docs/es/installation/debian.md b/docs/es/installation/debian.md index 30eb6e68e..289ca2e44 100644 --- a/docs/es/installation/debian.md +++ b/docs/es/installation/debian.md @@ -8,6 +8,11 @@ El programa 'sudo' no viene instalado en Debian por defecto. Su instalación y c su ``` +> Para [Vagrant](/es/installation/vagrant.md) ejecutar: +> ``` +> sudo su - +> ``` + ## Git Git es mantenido oficialmente en Debian: