-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Deployed ff2ff3f with MkDocs version: 1.6.1
- Loading branch information
Showing
3 changed files
with
43 additions
and
2 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +1 @@ | ||
{"config":{"lang":["en"],"separator":"[\\s\\-]+","pipeline":["stopWordFilter"]},"docs":[{"location":"","title":"Welcome to the SODAS Documentation","text":"<p>Find relevant documentation and information about SODAS here.</p>"},{"location":"server/","title":"Server","text":"<p>Welcome to the SODAS server.</p> <p>Before you start using the server, please make sure that you read all the pages in this part of the documentation.</p>"},{"location":"server/access/","title":"Access","text":"<p>In order to access the server, you need to have an account. Contact TBD with your basic information and SODAS affiliation, and they will walk you through the process.</p>"},{"location":"server/access/#connecting-to-the-server","title":"Connecting to the server","text":"<p>You can connect to the server using SSH, either through the terminal or vscode.</p>"},{"location":"server/access/#terminal","title":"Terminal","text":""},{"location":"server/access/#ssh","title":"SSH","text":"<pre><code>ssh -L <local-port>:localhost:<remote-port> <username>@sodascomp01fl.unicph.domain\n</code></pre> <p>To connect locally to the server on port 8000 with the user abc123, do:</p> <pre><code>ssh -L 8000:localhost:8000 abc123@sodascomp01fl.unicph.domain\n</code></pre> <p>Once you have a connection established, you can host a jupyter lab server on the server and connect to it from your local machine.</p>"},{"location":"server/access/#transferring-files","title":"Transferring files","text":""},{"location":"server/access/#transfer-from-local-to-server","title":"Transfer from local to server","text":"<pre><code>scp /path/to/file <username>@sodascomp01fl.unicph.domain:/path/to/destination\n</code></pre> <p>To move a text file in documents to your H-drive which is mounted on the server by default, do:</p> <pre><code>scp /documents/test.txt abc123@sodascomp01fl.unicph.doman:/ucph/hdir\n</code></pre>"},{"location":"server/access/#transfer-file-from-server-to-local","title":"Transfer file from server to local","text":"<pre><code>scp <username>@sodascomp01fl.unicph.domain:/path/to/file /path/to/destination\n</code></pre> <p>To move a text file from the H-drive on the server to your local documents folder, do:</p> <pre><code>scp abc123@sodascomp01fl.unicph.doman:/ucph/hdir/test.txt /documents\n</code></pre>"},{"location":"server/access/#vscode","title":"VSCode","text":"<p>TBD</p>"},{"location":"server/setup/","title":"Setup","text":""},{"location":"server/setup/#configuration","title":"Configuration","text":""},{"location":"server/setup/#shell","title":"Shell","text":"<p>The default shell is zsh.</p>"},{"location":"server/setup/#github","title":"Github","text":""},{"location":"server/setup/#generate-ssh-key","title":"Generate SSH key","text":"<p>Follow the guide at GitHub.</p>"},{"location":"server/setup/#ssh-config","title":"SSH Config","text":"<p>Create a config file at <code>~/.ssh/config</code> and add the following lines:</p> <pre><code>Host github.com\n HostName ssh.github.com\n PreferredAuthentications publickey\n IdentityFile ~/.ssh/id_ed25519\n Port 443\n</code></pre>"},{"location":"server/setup/#tools","title":"Tools","text":"<p>The server comes with a number of tools pre-installed:</p> <ul> <li>uv</li> <li>TBD</li> </ul>"},{"location":"server/usage/","title":"Usage","text":""},{"location":"server/usage/#storage","title":"Storage","text":""},{"location":"server/usage/#cache","title":"Cache","text":""},{"location":"server/usage/#python-dependency-management","title":"Python dependency management","text":""},{"location":"server/usage/#jupyter-lab","title":"Jupyter Lab","text":"<p>TBD: Describe how to install Jupyter Lab as user.</p> <pre><code>jupyter-lab --no-browser --port <port>\n</code></pre> <p>Where is the localhost port you specified when connecting to the server. <p>Then copy the generated link and paste it in your local computer's browsers.</p> <p>I.e: <code>http://127.0.0.1:<port>/lab?token=abcd1234...</code></p>"},{"location":"server/usage/#docker","title":"Docker","text":""},{"location":"server/usage/#slurm","title":"Slurm","text":""}]} | ||
{"config":{"lang":["en"],"separator":"[\\s\\-]+","pipeline":["stopWordFilter"]},"docs":[{"location":"","title":"Welcome to the SODAS Documentation","text":"<p>Find relevant documentation and information about SODAS here.</p>"},{"location":"server/","title":"Server","text":"<p>Welcome to the SODAS server.</p> <p>Before you start using the server, please make sure that you read all the pages in this part of the documentation.</p>"},{"location":"server/access/","title":"Access","text":"<p>In order to access the server, you need to have an account. Contact TBD with your basic information and SODAS affiliation, and they will walk you through the process.</p>"},{"location":"server/access/#connecting-to-the-server","title":"Connecting to the server","text":"<p>You can connect to the server using SSH, either through the terminal or vscode.</p>"},{"location":"server/access/#terminal","title":"Terminal","text":""},{"location":"server/access/#ssh","title":"SSH","text":"<pre><code>ssh -L <local-port>:localhost:<remote-port> <username>@sodascomp01fl.unicph.domain\n</code></pre> <p>To connect locally to the server on port 8000 with the user abc123, do:</p> <pre><code>ssh -L 8000:localhost:8000 abc123@sodascomp01fl.unicph.domain\n</code></pre> <p>Once you have a connection established, you can host a jupyter lab server on the server and connect to it from your local machine.</p>"},{"location":"server/access/#transferring-files","title":"Transferring files","text":""},{"location":"server/access/#transfer-from-local-to-server","title":"Transfer from local to server","text":"<pre><code>scp /path/to/file <username>@sodascomp01fl.unicph.domain:/path/to/destination\n</code></pre> <p>To move a text file in documents to your H-drive which is mounted on the server by default, do:</p> <pre><code>scp /documents/test.txt abc123@sodascomp01fl.unicph.doman:/ucph/hdir\n</code></pre>"},{"location":"server/access/#transfer-file-from-server-to-local","title":"Transfer file from server to local","text":"<pre><code>scp <username>@sodascomp01fl.unicph.domain:/path/to/file /path/to/destination\n</code></pre> <p>To move a text file from the H-drive on the server to your local documents folder, do:</p> <pre><code>scp abc123@sodascomp01fl.unicph.doman:/ucph/hdir/test.txt /documents\n</code></pre>"},{"location":"server/access/#vscode","title":"VSCode","text":"<p>TBD</p>"},{"location":"server/setup/","title":"Setup","text":""},{"location":"server/setup/#configuration","title":"Configuration","text":""},{"location":"server/setup/#environment-variables","title":"Environment Variables","text":""},{"location":"server/setup/#shell","title":"Shell","text":"<p>The default shell is zsh.</p>"},{"location":"server/setup/#github","title":"Github","text":""},{"location":"server/setup/#generate-ssh-key","title":"Generate SSH key","text":"<p>Follow the guide at GitHub.</p>"},{"location":"server/setup/#ssh-config","title":"SSH Config","text":"<p>Create a config file at <code>~/.ssh/config</code> and add the following lines:</p> <pre><code>Host github.com\n HostName ssh.github.com\n PreferredAuthentications publickey\n IdentityFile ~/.ssh/id_ed25519\n Port 443\n</code></pre>"},{"location":"server/setup/#tools","title":"Tools","text":"<p>The server comes with a number of tools pre-installed:</p> <ul> <li>uv</li> <li>fzf</li> <li>TBD</li> </ul>"},{"location":"server/usage/","title":"Usage","text":""},{"location":"server/usage/#general-utilities","title":"General utilities","text":"<pre><code>watch -n 1 nvidia-smi\n</code></pre>"},{"location":"server/usage/#storage","title":"Storage","text":""},{"location":"server/usage/#cache","title":"Cache","text":""},{"location":"server/usage/#python-dependency-management","title":"Python dependency management","text":""},{"location":"server/usage/#jupyter-lab","title":"Jupyter Lab","text":"<p>TBD: Describe how to install Jupyter Lab as user.</p> <pre><code>jupyter-lab --no-browser --port <port>\n</code></pre> <p>Where is the localhost port you specified when connecting to the server. <p>Then copy the generated link and paste it in your local computer's browsers.</p> <p>I.e: <code>http://127.0.0.1:<port>/lab?token=abcd1234...</code></p>"},{"location":"server/usage/#docker","title":"Docker","text":""},{"location":"server/usage/#slurm","title":"Slurm","text":""}]} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters