Archive Tags Feed

Ides.club wiki

An assortment of miscellania.

SSH

The main way to log into the server is with an ssh keypair. In fact, password-based logins are disabled.

If you don't have an existing ssh keypair you can create one with

ssh-keygen -t ed25519 -C "your_email@example.com"

For more details see the github help page. You will be asked to create a passphrase for the key, which you can leave blank if you wish.

After generating the key, please copy the contents of ~/.ssh/id_ed25519.pub (be sure to use the public key in .pub, not the private key without the extension) and email it along with your username on the server to admin@ides.club and your key will be added to your ~/.ssh/authorized_keys file. This will allow you to log into the server with

ssh user@ides.club

If you want a connection that automatically reconnects you can use mosh with

mosh user@ides.club

Config

If you want to avoid typing your username each time, you can add an entry to your ~/.ssh/config file of the form:

Host ides.club Hostname ides.club User username IdentityFile ~/.ssh/id_ed25519

Additional Help

For additional help, see the guide on the tilde.club/wiki or the tilde.town ssh guide. Or just ask for help in the #helpdesk channel on IRC or email admin@ides.club.

Published: 2022-11-23

Tagged: utils

Code of Conduct

tl;dr Don't be a jerk.

Published: 2022-11-23

Tagged: ides

Finger

We have a publically facing finger installed.

You can create a ~/.plan and ~/.project file to share your plan and what project you are working on inside the finger command. chfn changes your entry. See other users entries with finger <user>.

Published: 2022-11-23

Tagged: services

Docs

We are also running a hedgedoc instance at doc.ides.club. This is a real-time collaborative markdown editor with support for LaTeX. You should be able to use this without an account, though I think right now account signups are also enabled.

Published: 2022-11-23

Tagged: services

Command Line

For a nice tutorial on using the command line for beginners, see the tilde.club tutorial.

Some useful utilies for use on the command line:

Published: 2022-11-23

Tagged: misc

Wiki

You're reading the wiki right now. The wiki is hosted at https://ides.club/wiki/ and is editable by everyone on the server.

The wiki itself is a collection of markdown files which are rendered as html files by a simple static generator named quickblog.

The files themselves are stored in a git repository hosted on the server's local git server. The project is trefulo/wiki. To get started, goto your home directory and clone the project with

git clone git@git.ides.club:trefulo/wiki.git

then you'll have a ~/wiki directory with all of the source files.

To make a new post use:

bb quickblog new --file flname.md --title Title

And edit it appropriately.

make render

Will render the pages and put them in ~/wiki/public/ which you can easily view with make watch. In fact make watch will automatically look for changes and re-compile the wiki, and will make it temporarily available at https://ides.club:1888 so you can check your edits in real time.

Once you are satisfied you can use

make publish

to copy the completed changes to the /srv/wiki/ directory which serves as the public endpoint for https://ides.club/wiki/

Published: 2022-11-23

Tagged: services

Mail

Right now the server is running only a local mail server.

Use mail, alpine or mutt to read your messages. To send a local user an email message you can use:

sendmail username

Published: 2022-11-23

Tagged: services

Terminal Multiplexers

A terminal multiplexer let's you create "tabs" of terminal windows and will keep your session even when you log out.

Byobu

Byobu is a multiplexer based on tmux which you can configure to be used automatically upon logon. Use ESC to open up some of the settings.

The default keyboard escape sequence is ctrl-a like screen but this can be changed in the settings.

here is a super basic primer: The basic keys to know are f2, f3, f4, f6, f8, and f9 f2 - spawn new tab f3 - move to previous (left) tab f4 - move to next (right) tab f6 - disconnect from byobu (and the server) f8 - rename a tab f9 - configuration menu (also has a basic help guide)

Tmux

tmux is a powerful terminal multiplexer. The default escape sequence is ctrl-b.

Screen

screen is a simple multiplexer. The default escape sequence is ctrl-a.

Published: 2022-11-23

Tagged: utils

Fun

There are lots of fun little utilities you can use from the command line, here is a short list:

Local Scripts and things

There are some local fun scripts and things:

Published: 2022-11-23

Tagged: misc

About

This thing started off as an excuse for trefulo to have some fun by setting up a shared unix box in the spirit of tilde.club.

Published: 2022-11-23

Tagged: ides

public_html

Each user has a public-facing website in the form of a ~/public_html/ directory. Any content you put there will be viewable at ides.club/~username or ides.club/u/username/. You can use this as simple geocities style web space.

Blogging

A simple command line blogging utility is available in the form of the command bblog, this will place your blog posts at ides.club/~username/blog/.

Custom 404

If you put a 404.html file in your public_html/ directory, it will act as a custom 404 error page. For example see this one.

Published: 2022-11-23

Tagged: services

Git

There is a local gitea git server running at git.ides.club for hosting your projects, for instance it hosts this wiki.

git is a version control system. It let's you keep track of the entire history of some project. For a basic tutorial here.

For an account, email admin@ides.club.

Published: 2022-11-23

Tagged: services

IRC

We run an ngircd server, visible at localhost/6667 as well as irc.ides.club/6667 and irc.ides.club/6697 with ssl.

If you are on the ides.club server you can use the shortcut program chat to launch weechat and connect to the server.

Otherwise you could add the server with

/server add ides irc.ides.club/6697 -ssl

The main channel is #ides.

Other clients like irssi are also installed.

Convos

There is also a convos instance running at chat.ides.club which you should be able to use to connect to the irc server, it should be populated by default, otherwise use the host and port irc.ides.club:6697 and make sure to check "Secure Connection (TLS)"

Weechat Relay

You can also use a weechat relay either with an Android app or with glowing-bear, a nice webclient. For more instructions see the tilde.club/wiki, but the gist is that you can create a relay in weechat with:

/relay add unix.weechat ~/.weechat/relay_socket /set relay.network.password yoursupersecretpassword

(Be sure to change the password) After which you need to change permissions of the socket with

chmod o+rw ~/.weechat/relay_socket

This relay_socket is then being served by nginx at https://ides.club/~yourusername/weechat

So for instance to use glowing-bear use the settings:

hostname: ides.club:443/~username/weechat password: yoursupersecretpassword

And check "Encryption".

You should also be able to use the weechat-android client, for more details there, see the tilde.club/wiki and ask for help if you get stuck.

Update

There is a script: renew-ngircd-key.sh that should renew the SSL certificate (self-signed) and is set to run every Dec 1.

Published: 2022-11-22

Tagged: social

Archive