You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
(if that doesn't work, try: <https://vagrant-deb.linestarve.com/>)
149
149
150
+
**Fedora/Red Hat Linux**
151
+
152
+
* For Fedora, the latest version of VirtualBox is recommended to prevent errors. Download the RPM from the virtual box website. Make sure your version of
153
+
Fedora is up to date using
154
+
```
155
+
sudo dnf update
156
+
sudo dnf upgrade
157
+
```
158
+
and inputting your password. Then install the Virtual Box rpm using:
159
+
```
160
+
sudo dnf install VirtualBox-xxxxx.rpm
161
+
```
162
+
Install Vagrant using:
163
+
```
164
+
sudo dnf install vagrant
165
+
```
166
+
Now move on to step 5.
167
+
168
+
**NOTE**
169
+
when running vagrant up, use `vagrant up --provider=virtualbox` so it doesnt default to libvirt
170
+
171
+
**Common errors when running vagrant up(Fedora/RHEL)**
172
+
1. Missing virtnetworkd:
173
+
Enable it in your terminal by running:
174
+
```
175
+
sudo systemctl start virtnetworkd
176
+
```
177
+
2. If your vagrant ever freezes kill it with
178
+
'''
179
+
VBoxManage controlvm VM_NAME poweroff
180
+
'''
181
+
or if that doesn't work, reboot the computer and then run `vagrant destroy` before re-running `vagrant up --provider=virtualbox` again.
182
+
183
+
150
184
5. Clone [the Submitty repository](https://github.com/Submitty/Submitty) to a location on
0 commit comments