https://wiki.tardisproject.uk/ 2026-04-27T12:44:26+00:00 https://wiki.tardisproject.uk/ https://wiki.tardisproject.uk/_media/wiki:logo.png text/html 2023-07-29T11:09:52+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.tardisproject.uk/howto:files?rev=1690628992&do=diff 4. Moving files around Right now we've just been making files using the terminal, but eventually you'll probably want to edit files on your local machine and push them up, or vice versa. There are many ways to do this, but we'll just focus on the simplest here. text/html 2023-09-15T10:44:27+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.tardisproject.uk/howto:homepage?rev=1694774667&do=diff 3. Making a custom homepage As part of your Tardis account, you get your own subdomain at <username>.tardis.ac - you can put anything (that doesn't break our rules) here, and expose whatever applications you want. If you want a static homepage (one that doesn't change for each visitor). text/html 2024-02-23T11:05:43+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.tardisproject.uk/howto:languages?rev=1708686343&do=diff 5. Installing new packages If you want to run some code you wrote, you probably need some language or runtime to do so - eg Python, GCC, Haskell. It might happen to be installed system wide, but when it's not, we use a tool called Nix to install packages per-user without having version conflicts. text/html 2024-09-25T13:39:56+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.tardisproject.uk/howto:login?rev=1727271596&do=diff 1. Logging in to Tardis The first thing you need to do is actually connect to Tardis and log in. If you are reading this, hopefully you already have an account. If not, check our website for how to get one. If for whatever reason you do not know either your username or password, contact an admin and we'll reset it for you. text/html 2023-07-29T11:13:28+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.tardisproject.uk/howto:ssh_proxy?rev=1690629208&do=diff 7. SSH Proxying The only VM we directly expose SSH access to is sandbox. If you want to access our other machines through that, you have two options: * SSH in, then type in ssh ... yourself * Get SSH to do it for you The latter works similarly - we are still routing everything through sandbox - we just don't need to type the command ourselves. text/html 2023-09-15T10:39:44+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.tardisproject.uk/howto:terminal?rev=1694774384&do=diff 2. Using the command line When you log in via SSH, you are presented with the command line interface, by means of the shell. The current default is Bash. Bash stands for “Bourne Again SHell”, and is one (but the most commonly used by far) of many shells available for Linux. A shell is what interprets what you type into the prompt and makes things happen - different shells do things differently. Your default shell is bash, although you can change it if you wish, but this document will only give … text/html 2025-03-29T07:13:11+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.tardisproject.uk/howto:webapp?rev=1743232391&do=diff 6. Deploying a web app This is a pretty general guide to putting 'something' on the web that you can access with your browser. Usually, your app will end up either at <username>.tardis.ac, or <username>.tardis.ac/some/path. For now, you'll need to ask an admin if you want to use a different domain, but we're working on changing that.