Skip to content

Instantly share code, notes, and snippets.

View thomasbnt's full-sized avatar
👋
Probably listening music now

Thomas Bonnet thomasbnt

👋
Probably listening music now
View GitHub Profile
@TrevTV
TrevTV / ArcOn10.md
Last active December 5, 2024 16:22
Guide to installing Arc Browser on Windows 10

NOTICE: Arc now supports Windows 10 officially. This guide is no longer necessary.

As this is not an official way of installing Arc, if you encounter any issues do NOT report them to the developers, they did not intend for people to be running Arc on Windows 10.

@TChilderhose
TChilderhose / ProtonMailUnreadMessageCount.js
Last active June 9, 2024 17:38
ProtonMail Unread Message Count in Favicon
// ==UserScript==
// @name ProtonMail Unread Message Count in Favicon
// @version 2022.09.29
// @author Tyler Childerhose
// @match https://mail.proton.me/*
// @run-at document-end
// @grant none
// ==/UserScript==
//Based on https://userscripts-mirror.org/scripts/show/39432
@fedegomez
fedegomez / checkTitles.js
Last active October 26, 2024 20:44
Checks if the title of the result in the SERP matches the title of the URL
javascript: (function (doc){var changed=0; function checkTitles(){console.log('jQuery version ', $.fn.jquery, ' loaded'); var position=1; var items=[]; var results=$('#rso .kp-blk .g, #rso .g[class="g"], #rso .srg .g').not('.kno-kp .g').find('div:first').find('a:first'); $('.title-changed, #CountTitlesChanged').remove(); results.each(function (){if (!$(this).parents('.related-question-pair').length){var parent=$(this).closest('.tF2Cxc').length > 0 ? $(this).closest('.tF2Cxc') : $(this).closest('li'); items.push([ position, $(this).find('h3').text(), encodeURI($(this).attr('href')), parent]); position++;}}); var numItems=1; cors_proxies=[ 'https://api.codetabs.com/v1/proxy?quest=', 'https://jsonp.afeld.me/?url=',]; items.forEach(item=>{$.ajax({url: cors_proxies[Math.floor(Math.random() * cors_proxies.length)] + item[2], success: function (data, status, xhr){title=$(data).filter('title').text(); var html='<div class="title-changed">'; if (title !=item[1]){html +='<span style="font-weight: bold;color: #ff6961;">
/* Prevent unsecure [target="_blank] links */
a[target='_blank']:not([rel~='noopener']):not([rel~='noreferrer']) {
outline: 2px dashed red;
}
@dance2die
dance2die / dev.to link tampermonkey script
Created July 2, 2020 06:14
To view all dev.to article links easily without hovering over each one
@hexablob
hexablob / guide-installation-debian.md
Last active March 19, 2023 16:06
Installation d'un serveur Debian ; de A à Z.

Installation d'un serveur Debian ; de A à Z.

⚙️ Installation & Configuration du système d'exploitation

La première étape consiste à sélectionner la distribution système Debian 10 dans le menu déroulant lors de la commande de votre nouveau Serveur dédié / VPS chez votre hébergeur préféré.

Procédez ensuite à l'installation de votre serveur avec les paramètres par défaut et veillez à ne pas personnaliser la répartition de l'espace disque des partitions systèmes.

Une fois l'installation effectuée, connectez-vous au serveur en SSH avec les identifiants que vous aurez normalement reçus par mail (en toute logique le login par défaut est debian, s'il ne s'agit pas là dans certains cas des identifiants root.) -- pas de soucis, l'utilisateur par défaut fait dans une grande majorité des cas déjà parti des sudoers système. --

@benhalpern
benhalpern / dev-icon.svg
Created October 12, 2018 23:04
DEV Icon SVG (798 bytes)
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@williamdes
williamdes / README.md
Last active January 6, 2025 13:27
easy update your phpMyAdmin !

phpMyAdmin install/upgrade/reinstall (last released version)

Supports :

  • install
  • upgrade

Keeps your config !

TLDR / Short mode

Uses default arguments !

@angristan
angristan / mysql-cheatsheet.md
Last active June 27, 2019 21:33
MySQL cheatsheet

Manage databases

Create database

CREATE DATABASE database;

Delete database

@ObserverOfTime
ObserverOfTime / BDLinux.md
Last active March 7, 2025 10:49
Install BetterDiscord on Linux

Install BetterDiscord on Linux

This Gist contains simple instructions on how to install, update, and uninstall BetterDiscord on Linux.

For more thorough documentation, take a look at betterdiscordctl's README.

Do NOT submit issues here as I don't check the comments. You should submit them here instead.