summaryrefslogtreecommitdiffstats
path: root/installer/vagrant
diff options
context:
space:
mode:
authorRamón M. Gómez <ramongomez@us.es>2018-05-28 14:28:44 +0200
committerRamón M. Gómez <ramongomez@us.es>2018-05-28 14:28:44 +0200
commitd47ec6caaea7496a7c286937a04b73b30f845e35 (patch)
tree3dfd8bf1f1167d67eff0cef53f44ec66f29fbf57 /installer/vagrant
parent3e6051e6ec3ad064174dd4ac52dd7c5ae8fa13f7 (diff)
#840: Continuar sustitución de SVN por Git.
Diffstat (limited to 'installer/vagrant')
-rw-r--r--installer/vagrant/Vagrantfile-ogagent-vbox2
1 files changed, 1 insertions, 1 deletions
diff --git a/installer/vagrant/Vagrantfile-ogagent-vbox b/installer/vagrant/Vagrantfile-ogagent-vbox
index 22ddfe54..9e909973 100644
--- a/installer/vagrant/Vagrantfile-ogagent-vbox
+++ b/installer/vagrant/Vagrantfile-ogagent-vbox
@@ -33,7 +33,7 @@ wget -q https://atom.io/download/rpm -O /tmp/atom.rpm && dnf install -y /tmp/ato
# Comment out next line if you prefer to install Eclipse IDE for Python (it needs more disk space).
#dnf install -y eclipse-pydev eclipse-nls-${LANG%_*}
# Download OGAgent environment installer.
-svn export https://opengnsys.es/svn/branches/version1.1/installer/ogagent-devel-installer.sh /home/vagrant
+wget -q https://raw.githubusercontent.com/opengnsys/OpenGnsys/devel/installer/ogagent-devel-installer.sh -O /home/vagrant/ogagent-devel-installer.sh
# Instructions.
echo "Manual operations:"
echo "- Reboot VM or launch desktop: startxfce4 &"