This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
.TITLE "This Is a Nice Title" | |
.PRINTSTYLE TYPESET | |
. | |
.FAMILY T | |
.PT_SIZE 12 | |
.INDENT_FIRST_PARAS | |
.AUTOLEAD 16 | |
. | |
.HEADERS OFF | |
.FOOTERS OFF |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env python3 | |
# | |
# this script will convert the hdhomerun listings (channels) to | |
# m3u format for use with external media players. before running | |
# this script, be sure to modify the <<config>> variable settings | |
# below. | |
# | |
# Suggested Usage: This script should be run on a cron to keep | |
# the channel lineup to date. Below is an example of how to execute this script: | |
# python /path/to/script/hdhomerun-prime-listings-to-m3u.py > /path/to/playlist.m3u |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/* | |
1. Set toolkit.legacyUserProfileCustomizations.stylesheets to true in about:config | |
2. Place this file (userContent.css) in the chrome directory of your firefox profile | |
3. Place an image *hello.jpg* in the same directory as this file | |
*/ | |
@-moz-document url(about:home), url(about:newtab), url(about:privatebrowsing) { | |
body::before { | |
content: ""; | |
z-index: -1; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env python3 | |
import requests | |
login_url = "https://authserver.mojang.com/authenticate" | |
payload = { | |
"agent": { | |
"name": "Minecraft", | |
"version": 1 | |
}, |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
with import <nixpkgs> {}; | |
lib.fix (self: { | |
tilp = stdenv.mkDerivation { | |
name = "tilp"; | |
src = fetchurl { | |
url = "https://www.ticalc.org/pub/unix/tilp.tar.gz"; | |
sha256 = "1mww2pjzvlbnjp2z57qf465nilfjmqi451marhc9ikmvzpvk9a3b"; | |
}; | |
postUnpack = '' |