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:System] Update troubleshooting #550

Merged
merged 1 commit into from
Sep 21, 2023
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
28 changes: 27 additions & 1 deletion _docs/developer/development_instructions/troubleshooting.md
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@ category: Developer > Development Instructions
use by another application running on your computer.


* This may happen if you attempt to create mutliple Submitty VMs --
* This may happen if you attempt to create multiple Submitty VMs --
perhaps unintentionally! E.g., if you have multiple directories on
your computer each with a clone/copy of the Submitty repo. It is
necessary to run `vagrant destroy` in each of these
Expand All @@ -34,6 +34,32 @@ category: Developer > Development Instructions
vagrant global-status
```

* If you might have old, forgotten VMs from previous OS versions
hanging around it can be helpful to completely delete the `.vagrant`
folder in your repository. Also check to see if you have multiple
clones or backups of the repository and thus multiple `.vagrant`
folders on your machine.


* You can scan to see what processes on your machine are using the
conflicting ports. Depending on your operating system, try these
commands:

```
netstat -anvp tcp | awk 'NR<3 || /LISTEN/'
```

```
lsof -i | grep LISTEN
```

Then you can type `kill <pid>` with the `<pid>` of the process (if
you confirm you don't need that process). If you don't recognize
the process using the port in question, search to figure out if you
can or should disable it. For example, on MacOS, the AirPlay
Receiver in Control Center is using port 7000, so you may choose to
turn that off.


* You can choose to override the default ports and use an alternate
port through an environment variable. The current variables are
Expand Down