Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Documentation:Developer] Fedora VM installation instructions #575

Merged
merged 2 commits into from
Jan 31, 2024
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
34 changes: 34 additions & 0 deletions _docs/developer/getting_started/vm_install_using_vagrant.md
Original file line number Diff line number Diff line change
Expand Up @@ -147,6 +147,40 @@ Below are quick steps to get everything installed and running.
Vagrant: <https://developer.hashicorp.com/vagrant/downloads>
(if that doesn't work, try: <https://vagrant-deb.linestarve.com/>)

**Fedora/Red Hat Linux**

* 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
Fedora is up to date using
```
sudo dnf update
sudo dnf upgrade
```
and inputting your password. Then install the Virtual Box rpm using:
```
sudo dnf install VirtualBox-xxxxx.rpm
```
Install Vagrant using:
```
sudo dnf install vagrant
```
Now move on to step 5.

**NOTE**
when running vagrant up, use `vagrant up --provider=virtualbox` so it doesnt default to libvirt

**Common errors when running vagrant up(Fedora/RHEL)**
1. Missing virtnetworkd:
Enable it in your terminal by running:
```
sudo systemctl start virtnetworkd
```
2. If your vagrant ever freezes kill it with
'''
VBoxManage controlvm VM_NAME poweroff
'''
or if that doesn't work, reboot the computer and then run `vagrant destroy` before re-running `vagrant up --provider=virtualbox` again.


5. Clone [the Submitty repository](https://github.com/Submitty/Submitty) to a location on
your computer (the "host").

Expand Down
Loading