Skip to content

Instantly share code, notes, and snippets.

View anemology's full-sized avatar
😖
too many to learn

anemology

😖
too many to learn
View GitHub Profile
@anemology
anemology / bahamut_old_search.user.js
Last active May 15, 2017 14:07
Bahumut Old Search
// ==UserScript==
// @name Bahamut Old Search
// @namespace https://gist.github.com/anemology/8cffbd02adf603ce3aee4a1c7f781eaf
// @author 獨孤
// @version 1
// @description 巴哈舊搜尋,並可只搜尋一個字
// @grant none
// @include https://forum.gamer.com.tw/*
// @run-at document-idle
// ==/UserScript==
@anemology
anemology / InstagramGridLayout.css
Last active May 6, 2020 11:42
Make Instagram layout to 4 posts on each row
/* main section */
.cGcGK,
section._1SP8R {
max-width: none !important;
}
.cGcGK > div:nth-child(2) > div:nth-child(1) {
display: flex !important;
flex-flow: row wrap !important;
justify-content: center !important;
@anemology
anemology / killSerif.css
Created July 2, 2019 03:10
KillSerif Style
@-moz-document regexp("https?://(?!(iamchucky.github.io/PttChrome)|(localhost)).*") {
/* Normal Font Weight */
@font-face {
font-family: "Times New Roman";
unicode-range: U+4E00-9FFF;
src: local(" "), local("Noto Sans CJK TC");
}
@font-face {
@anemology
anemology / select_edge_extensions.js
Created June 21, 2020 10:41
Select Edge Extensions id and name
// open edge://extensions/, turn on Developer mode.
// Tested in Microsoft Edge Version 85.0.545.0 (Official build) dev (64-bit)
document
.querySelectorAll("#extensions-list > div > div > div > div > div > div")
.forEach((item) => {
const id = item.querySelector("div > div > p > span").innerText;
const name = item.querySelector("div > div:nth-child(1) > p:nth-child(1)").innerText;
console.log(id, name)
});
@anemology
anemology / get_public_ip.md
Created October 19, 2025 03:30
Get Public IP

Get Public IP

DNS

Google

dig +short TXT o-o.myaddr.l.google.com @ns1.google.com

nslookup -type=TXT o-o.myaddr.l.google.com ns1.google.com
@anemology
anemology / youtube_formats.md
Created August 27, 2026 01:48 — forked from MartinEesmaa/youtube_formats.md
Youtube Format IDs

Note: This is all almost full YouTube ID informations. Original owner goes to AgentOak, modified version by Martin Eesmaa.

See the credits and also special thanks in below.

Before this gist has been forked, AgentOak made original gist on November 13 2019 and it was last updated on May 5 2021.

From now on, this forked gist is maintained by Martin Eesmaa since 17 September 2022. I joined to yt-dlp Discord server on 3rd April 2026 with my Discord username: martineesmaa.

Last updated: 20 August 2026