Skip to content

Instantly share code, notes, and snippets.

View f0xcb's full-sized avatar

Tim f0xcb

  • 04:42 (UTC +01:00)
View GitHub Profile
@adactio
adactio / postToMastodon.php
Last active December 22, 2022 16:27
A PHP function that posts an update to Mastodon
<?php
/*
Pass in an array of data with keys for `status`
e.g.
postToMastodon(array(
'status' => 'Hello, world!'
));
Include `reply_url` if you're responding to a post
@xPaw
xPaw / README.md
Last active November 9, 2025 16:42
Counter-Strike 2 Text Mod
@greeflas
greeflas / install-toolbox.sh
Last active October 7, 2025 23:23
JetBrains Toolbox installation script for Ubuntu - https://www.jetbrains.com/toolbox/app/
#!/bin/bash
set -e
if [ -d ~/.local/share/JetBrains/Toolbox ]; then
echo "JetBrains Toolbox is already installed!"
exit 0
fi
echo "Start installation..."
@jparrill
jparrill / hostname_servers
Created October 14, 2013 06:16
Names for servers
Hostnames!
You have to set up a bunch of machines, and suddenly have a mental block as to what to call them all?
Well, here's some good hostnames to get you going.
The idea is to come up with some kind of category, so that people have something to remember all the names by. Some categories: Geographical (countries, cities, parks, rivers, lakes, streets), entertainment (flintsones, simpsons, disney films, celebrities), companies (hotels, airports, local shops, restarants), astronomy (planets, comets, space missions), literature (mythology, philosophers, writers of particular generes, languages), political (presidents, judges, congressmen, terminology), science (units of measure, anatomy, instruments, scientists), industry (tools, machines, inventions, inventors), computers (terminology, programming languages, number systems).
Some hostnames I've seen, used, or expect to use..
(Not responsible for typos; do your own spell checks!)