Skip to content

Instantly share code, notes, and snippets.

View gabeweb's full-sized avatar
🎧
last.fm/user/gabeweb

Gabe Pérez gabeweb

🎧
last.fm/user/gabeweb
View GitHub Profile
@gabeweb
gabeweb / user.js
Last active June 19, 2025 19:24
My custum user.js for Mozilla Firefox as Jun. 2025. Ocasionally updated.
// user.js by @gabeweb
// ACCESIBILITY
user_pref("accessibility.typeaheadfind.flashBar", 1);
// APP
user_pref("app.update.auto.migrated", true);
user_pref("app.update.background.rolledout", true);
@gabeweb
gabeweb / xiaomi_minimal_debloater.txt
Last active July 15, 2025 20:14
Minimal Xiaomi/Redmi Debloat List (Android 15/HyperOS 2 - 06/2025)
android.autoinstalls.config.Xiaomi.model
android.qvaoverlay.common
com.android.cellbroadcastreceiver.overlay.common
com.android.contacts
com.android.incallui
com.android.inputsettings.overlay.miui
com.android.providers.partnerbookmarks
com.google.android.apps.youtube.music
com.google.android.cellbroadcastreceiver.overlay.miui
com.google.android.cellbroadcastservice.overlay.miui
@gabeweb
gabeweb / 12to24.user.js
Last active July 27, 2025 22:03 — forked from Greenscreener/12to24.user.js
Convert all elements with 12-hour time to 24-hour automatically (for almost any website)
// ==UserScript==
// @name 12 hour am pm to 24 hour format
// @namespace https://*
// @version 0.1
// @description Convert all elements with 12-hour time to 24-hour automatically for all websites. Tested: Discord, Cloud Hetzner Console
// @author gabeweb
// @homepage https://gist.github.com/gabeweb/ba14d475bfe0a9b33fbe1006b1fe4766
// @icon https://raw.githubusercontent.com/dw5/24H-BrowserTimeEverywhere/main/icons/128.png
// @grant none
// @match https://*/*