Skip to content

Instantly share code, notes, and snippets.

View molguin92's full-sized avatar

Manuel Olguín Muñoz, Ph.D. molguin92

View GitHub Profile
@vladak
vladak / varmilo keyboard.md
Last active June 22, 2025 03:25
Varmilo keyboard details
FROM ubuntu
RUN apt-get update
RUN apt-get install -y build-essential curl
# NodeJS >= 6.0
RUN curl -sL https://deb.nodesource.com/setup_8.x | bash -
RUN apt-get install -y nodejs
# ttfautohint
@balderclaassen
balderclaassen / Gnome-extension-configs.txt
Last active September 14, 2024 16:00
Backup, reset, restore, configuration of a gnome extension.
How to export (backup), reset to defaults and import (restore) the configuration of a gnome extension.
// prints the whole config to a file
dconf dump /org/gnome/shell/extensions/<extension-name>/ > ~/<backupfile>
// Resets the config to defaults (might wanna check first if the dump was a succes by opening the file)
dconf reset -f /org/gnome/shell/extensions/<extension-name>/
// Loads configuration from a file into your gnome-shell
dconf load /org/gnome/shell/extensions/<extension-name>/ < ~/<backupfile>
From what I can tell a good way to determine <extension-name> is from its url at https://extensions.gnome.org
However its better to be safe and launch dconf editor , browse to /org/gnome/shell/extensions/ and check the name.
@101v
101v / NatualScrollingInWindows.ps1
Created January 18, 2017 21:19
Powershell script to enable natural scrolling in Windows
# View registry settings
Get-ItemProperty HKLM:\SYSTEM\CurrentControlSet\Enum\HID\*\*\Device` Parameters FlipFlopWheel -EA 0
# Change registry settings
# Reverse mouse wheel scroll FlipFlopWheel = 1
# Normal mouse wheel scroll FlipFlopWheel = 0
Get-ItemProperty HKLM:\SYSTEM\CurrentControlSet\Enum\HID\*\*\Device` Parameters FlipFlopWheel -EA 0 | ForEach-Object { Set-ItemProperty $_.PSPath FlipFlopWheel 1 }
# Restore default scroll direction
# Get-ItemProperty HKLM:\SYSTEM\CurrentControlSet\Enum\HID\*\*\Device` Parameters FlipFlopWheel -EA 1 | ForEach-Object { Set-ItemProperty $_.PSPath FlipFlopWheel 0 }
@paddyzab
paddyzab / install_on_multiple
Created July 20, 2014 19:32
Small shell script to install apk on multiple devices from adb
#!/bin/bash
# Script adb+
# Usage
# You can run any command adb provides on all your currently connected devices
# ./adb+ <command> is the equivalent of ./adb -s <serial number> <command>
#
# Examples
# ./adb+ version
# ./adb+ install apidemo.apk
# ./adb+ uninstall com.example.android.apis