Skip to content

Instantly share code, notes, and snippets.

Avatar

Robin Boers RobinBoers

View GitHub Profile
@RobinBoers
RobinBoers / element-light.json
Created May 14, 2023 16:55
vector-im/element-web default light theme
View element-light.json
{
"name": "Default light theme",
"is_dark": false,
"colors": {
"accent-color": "#0DBD8B",
"primary-color": "#238CF5",
"warning-color": "#FF4B55",
"sidebar-color": "#27303A",
"roomlist-background-color": "#F3F8FD",
@RobinBoers
RobinBoers / gitea-github-layout.css
Last active April 29, 2023 19:15
Bit of CSS that makes Gitea more like GitHub. Currently used on https://git.geheimesite.nl.
View gitea-github-layout.css
.organization.profile .ui.container:first-child {
margin: 38px auto;
}
.organization.profile p:empty {
display: none;
}
.organization.profile .org-avatar {
width: 130px;
@RobinBoers
RobinBoers / remote-car.md
Last active July 26, 2022 15:11
Remote car with line following, hook grip thingie and remote control using micro:bit MOVE motor and Waveshare joystick controller.
View remote-car.md

MOVED TO REPO:

@RobinBoers
RobinBoers / neopunk.css
Last active September 20, 2022 15:09
Neopunk: my personal neopub theme.
View neopunk.css
/** General **/
html {
margin-left: calc(100vw - 100%);
margin-right: 0;
scroll-behavior: smooth;
box-sizing: border-box;
background-color: rgb(255, 102, 102);
background: linear-gradient(-45deg, #F59E0B, #DB2777, #0995ad, #38BDF8);
background-size: 400% 400%;
@RobinBoers
RobinBoers / README.md
Last active May 3, 2022 10:00 — forked from dianoetic/README.md
A GitHub Action for sending webmentions after your site builds
View README.md

Send Webmentions with GitHub Actions

Action that uses curl to send your webmentions. It gets the most recent addition to a JSON feed (ideally, your latest post), looks for the value of a key called uri (ideally, your post's permalink) and sends webmentions for it.

The services currently in the file are webmention.app and brid.gy, but any service that can be triggered with a POST request will work fine with this.

This workflow file is run once another GitHub Action named "Build" completes successfully.

Usage

@RobinBoers
RobinBoers / deploy.yaml
Created April 10, 2022 09:28
GitHub action to deploy my website via FTP
View deploy.yaml
on:
push:
branches: [ master ]
name: Deploy website via FTP
jobs:
web-deploy:
name: Deploy
runs-on: ubuntu-latest
steps:
- name: Checkout
@RobinBoers
RobinBoers / som.css
Last active June 14, 2022 05:33
Userstyle to clean up somtoday ELO.
View som.css
/**************************************************************************************************************************\
________ ________ _____ ______ _________ ________ ________ ________ ___ ___ _______ ________
|\ ____\|\ __ \|\ _ \ _ \|\___ ___\\ __ \|\ ___ \|\ __ \ |\ \ / /| / ___ \ |\ __ \
\ \ \___|\ \ \|\ \ \ \\\__\ \ \|___ \ \_\ \ \|\ \ \ \_|\ \ \ \|\ \ \ \ \/ / / /__/|_/ /| \ \ \|\ \
\ \_____ \ \ \\\ \ \ \\|__| \ \ \ \ \ \ \ \\\ \ \ \ \\ \ \ __ \ \ \ / / |__|// / / \ \ \\\ \
\|____|\ \ \ \\\ \ \ \ \ \ \ \ \ \ \ \ \\\ \ \ \_\\ \ \ \ \ \ \/ / / / /_/__ __\ \ \\\ \
____\_\ \ \_______\ \__\ \ \__\ \ \__\ \ \_______\ \_______\ \__\ \__\__/ / / |\________\\__\ \_______\
|\_________\|_______|\|__| \|__| \|__| \|_______|\|_______|\|__|\|__|\___/ / \|_______\|__|\|_______|
@RobinBoers
RobinBoers / distro-list.md
Created January 16, 2022 11:41
A list of beginner friendly distros I would recommend to my friends if I had any.
View distro-list.md

GNOME

For GNOME I picked Fedora because it offers a vanilla GNOME experience and is frequently updated while remaining rock-solid.

Download

elementaryOS

Pantheon, the elementary desktop, is only shipped by the guys over at elementary, so that choice was quickly made.

@RobinBoers
RobinBoers / github-theme-notes-up.md
Created January 5, 2022 09:58
GitHub theme for Notes-Up
View github-theme-notes-up.md

Notes-Up "GitHub" theme

This is a simple theme to make Notes-Up look like GitHub markdown. Adaptation of sindresorhus/github-markdown-css for Notes-Up.

Installation

  • Open Preferences
  • Click viewer
  • Enter the CSS below in "Global style modifications"
  • Click close
@RobinBoers
RobinBoers / must-watch-channels.txt
Created December 10, 2021 20:15
List of cool YouTube channels I follow
View must-watch-channels.txt
www.youtube.com/channel/UCLXo7UDZvByw2ixzpQCufnA
www.youtube.com/channel/UCcXUhZB4t3g8EGdYiqwS4Aw
www.youtube.com/channel/UCHnyfMqiRRG1u-2MsSQLbXA
www.youtube.com/channel/UCBa659QWEk1AI4Tg--mrJ2A
www.youtube.com/channel/UCvt0HYxX34vUvqu66HLXeUw
www.youtube.com/channel/UClY084mbGLK_SLlOfgizjow
www.youtube.com/channel/UCQHsMwcGoH1ygyi-pJs5Z8A
www.youtube.com/channel/UC9mvRrl9o7rG65ABsGVvDBw
www.youtube.com/channel/UCY1kMZp36IQSyNx_9h4mpCg
www.youtube.com/channel/UCmtyQOKKmrMVaKuRXz02jbQ