This is the list of frequently asked questions regarding ~vern and the services we host. We try our best to answer these questions, but if something must be specified, contact an admin. This is is ever-expanding, and if you want an item added, contact an admin.
Sign up by going to the registration page and filling out the form. An admin will review your request. You will get an e-mail if your request was accepted.
Send a request from the e-mail you used to register and an admin will replace your key.
No. We use WireGuard to connect our VPS to the main tilde. Unlike other public UNIX-like systems where all IP addresses are leaked, all connections to ~vern show up as coming from 10.7.0.1. This includes the website.
We use debian on our "cloud" VPS and the local tildeserver that hosts all the services.
Additionally, the VM (which is hosted on the tildeserver) that hosts the pubnix runs NixOS with the linux-libre kernel.
All 3 servers have no non-free software or non-free repositories enabled.
Simply place all the relevant site files in ~/public_html
. This will be the root for your site. For example, if a user foo wanted a site, they would create /home/foo/public_html/index.html
. A directory /bar
in foo's user site would be located at /home/foo/public_html/bar
.
If you would like a service to be hosted by us, contact an admin and discuss it with them. We are always open to new services to host, but it may take a while to get it fully set up.
We currently have nix home-manager set up (run nix-shell '<home-manager>' -A install
to generate the default config) set up, so you can install any libre software that is in the nix repositories into your own home directory. If a package is popular we might install it globally.
It is possible but requires manual work. If you want to do it please contact an admin.
If a service is not working, we are most likely actively working to fix it. Please be patient.
We shill ~vern because we are passionate about it. Arya told me to add this question here. This question is only here as a joke.