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
for HTTP & ~/public_gemini
for Gemini. This will be the root directory for your website/capsule. For example, if a user foo wanted a site, they would create /home/foo/public_html/index.html
. A file /bar
in foo's user site would be located at /home/foo/public_html/bar
.
User sites for HTTP are rendered on the URL foo.vern.cc and vern.cc/~foo. User sites for Gemini also render on both URLs
If you would like a service to be hosted by us, contact an admin and discuss it with them. You could also add it here. 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, please inform an admin.
Sadly, our tildeserver's ISP does not provide IPv6. Therefore IPv6 won't be possible until we sort it out..
~/public_html
!Typically this happens because of incorrect permissions in the folder.
The www-data
user must be able to read your website directory, so make your home directory executable and public_html
or public_gemini
readable and executable.
You can fix the permissions by running chmod 711 ~; chmod 755 ~/public_html ~/public_gemini
Devzat is a chat program accessable over SSH that we host on port 2221. To connect, simply run ssh vern.cc -p2221
. To open a direct message room with an admin, type cd foo
, replacing foo with the username of the admin (e.g. aryak or cobra).
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.