Skip to content

Instantly share code, notes, and snippets.

Avatar
👋
***status goes here***

Winston (Winny) Weinert winny-

👋
***status goes here***
View GitHub Profile
View Racket var-int codec
#lang racket/base
(define (signed-var-int val)
(cond
[(bitwise-bit-set? val 31)
(bitwise-ior val (bitwise-not #xffffffff))]
[else
val]))
(define (read-var-int in)
@HappyCodingRobot
HappyCodingRobot / 61-hp-mic-mute-hotkey.hwdb
Created Jan 8, 2019
Activate mic mute function key, ubuntu 18.04, HP Elitebook 820
View 61-hp-mic-mute-hotkey.hwdb
# see also: /lib/udev/hwdb.d/60-keyboard.hwdb
evdev:atkbd:dmi:bvn*:bvr*:bd*:svnHewlett-Packard*:pn*EliteBook*:pvr*
KEYBOARD_KEY_81=f20 # Fn+F8 on Elitebook, map to F20
# KEYBOARD_KEY_81=fn_esc # org entry
@krisleech
krisleech / renew-gpgkey.md
Last active May 21, 2022
Renew Expired GPG key
View renew-gpgkey.md

Renew GPG key

Given that your key has expired.

$ gpg --list-keys
$ gpg --edit-key KEYID

Use the expire command to set a new expire date:

@cryzed
cryzed / fix-infinality.md
Last active May 14, 2022
A set of instructions on how to fix the harfbuzz + Infinality issue and restoring good-looking, Infinality-like font rendering.
View fix-infinality.md

Disclaimer: Please follow this guide being aware of the fact that I'm not an expert regarding the things outlined below, however I made my best attempt. A few people in IRC confirmed it worked for them and the results looked acceptable.

Attention: After following all the steps run gdk-pixbuf-query-loaders --update-cache as root, this prevents various gdk-related bugs that have been reported in the last few hours. Symptoms are varied, and for Cinnamon the DE fails to start entirely while for XFCE the icon theme seemingly can't be changed anymore etc.

Check the gist's comments for any further tips and instructions, especially if you are running into problems!

Screenshots

Results after following the guide as of 11.01.2017 13:08:

@Nilpo
Nilpo / BIND for the Small LAN.md
Last active Apr 27, 2022
How to configure BIND 9 to act as a caching nameserver or as the nameserver for a local domain.
View BIND for the Small LAN.md
@mattiaslundberg
mattiaslundberg / Ansible Let's Encrypt Nginx setup
Last active May 19, 2022
Let's Encrypt Nginx setup with Ansible
View Ansible Let's Encrypt Nginx setup
Ansible playbook to setup HTTPS using Let's encrypt on nginx.
The Ansible playbook installs everything needed to serve static files from a nginx server over HTTPS.
The server pass A rating on [SSL Labs](https://www.ssllabs.com/).
To use:
1. Install [Ansible](https://www.ansible.com/)
2. Setup an Ubuntu 16.04 server accessible over ssh
3. Create `/etc/ansible/hosts` according to template below and change example.com to your domain
4. Copy the rest of the files to an empty directory (`playbook.yml` in the root of that folder and the rest in the `templates` subfolder)
@alces
alces / ansible_local_playbooks.md
Last active May 12, 2022
How to run an Ansible playbook locally
View ansible_local_playbooks.md
  • using Ansible command line:
ansible-playbook --connection=local 127.0.0.1 playbook.yml
  • using inventory:
127.0.0.1 ansible_connection=local
View torrc.examples.txt
This file is part of Whonix
Copyright (C) 2012 - 2014 Patrick Schleizer <adrelanos@riseup.net>
See the file COPYING for copying conditions.
**** Do NOT edit this file! ****
This file will show you examples you can copy and paste to /etc/tor/torrc
Additionally, you can read the official Tor Manual at:
https://www.torproject.org/docs/tor-manual.html.en
@greghendershott
greghendershott / pkgs.md
Created Nov 11, 2015
Some interesting Racket packages
View pkgs.md

Sound and Vision

identikon

rsound

Testing and Coverage

rackunit-chk

@cabrinha
cabrinha / perl-build.sh
Created Jul 31, 2015
Let's build perl-5.22.0 from source!
View perl-build.sh
wget -qO - https://raw.github.com/tokuhirom/Perl-Build/master/perl-build | perl - 5.22.0 ~/perl-5.22.0
echo export PATH="~/perl-5.22.0/bin:$PATH" >> ~/.bashrc; source ~/.bashrc
wget -qO - https://cpanmin.us | perl - App::cpanminus