diff options
| author | Ramón M. Gómez <ramongomez@us.es> | 2019-02-25 10:03:30 +0100 |
|---|---|---|
| committer | Ramón M. Gómez <ramongomez@us.es> | 2019-02-25 10:03:30 +0100 |
| commit | d0df4ec235f0a813e93a46822cd2a7622db06c9b (patch) | |
| tree | 0c9e07101602a0978b67af484ec3b83a7fcb6fd7 /installer/vagrant/Vagrantfile-1.0.6b-vbox | |
| parent | 2200fb1b112a0e156ab465678a170a48064e2f71 (diff) | |
#872: Adapting commits {{{8e072b9}}}, {{{cfd26b}}}, and {{{79a6616}}} from devel to master branch.
Diffstat (limited to 'installer/vagrant/Vagrantfile-1.0.6b-vbox')
| -rw-r--r-- | installer/vagrant/Vagrantfile-1.0.6b-vbox | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/installer/vagrant/Vagrantfile-1.0.6b-vbox b/installer/vagrant/Vagrantfile-1.0.6b-vbox index 2db25e1c..4317c654 100644 --- a/installer/vagrant/Vagrantfile-1.0.6b-vbox +++ b/installer/vagrant/Vagrantfile-1.0.6b-vbox @@ -42,7 +42,7 @@ fi # Install OpenGnsys and change server address. wget -q https://opengnsys.es/svn/tags/opengnsys-1.0.6b/installer/opengnsys_installer.sh -O - | bash || exit $? mv /opt/opengnsys/log/bash.log /opt/opengnsys/log/opengnsys_installer.log -echo y | /opt/opengnsys/bin/setserveraddr eth1 +echo y | /opt/opengnsys/bin/setserveraddr $(ip -o link show | tail -1 | cut -d: -f2) # Insert DHCP data. for ((i=#{NCLIENTS+10}; i>10; i--)); do sed -i "/^}$/ i host pc${i} { hardware ethernet #{MACPREFIX}:${i}; fixed-address #{NETPREFIX}.${i}; }" /etc/dhcp/dhcpd.conf |