This file contains hidden or 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
import argparse | |
import sys | |
import re | |
if __name__ == "__main__": | |
parser = argparse.ArgumentParser(description="Extract LaTeX labels") | |
parser.add_argument("file", metavar="FILE", type=argparse.FileType("r")) | |
parser.add_argument("-o", "--output", metavar="OUTPUT_FILE", default=sys.stdout, type=argparse.FileType("w")) | |
args = parser.parse_args() |
This file contains hidden or 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
#!/bin/bash | |
version=1.0.1 | |
versionDate="2014-02-14" | |
function showHelp() { | |
echo "watchfile - monitor file(s)/command and perform action when changed | |
Possible ways of usage | |
---------------------------------------- |
This file contains hidden or 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
// ==UserScript== | |
// @name HideFBMainPage | |
// @namespace thekemiren@googlemail.com | |
// @include https://www.facebook.com/?* | |
// @include https://www.facebook.com/* | |
// @version 1 | |
// @grant GM_addStyle | |
// ==/UserScript== | |
GM_addStyle("#contentCol.newsFeedComposer #contentArea{opacity:0.0000001 !important;}"); |
This file contains hidden or 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
// Just before switching jobs: | |
// Add one of these. | |
// Preferably into the same commit where you do a large merge. | |
// | |
// This started as a tweet with a joke of "C++ pro-tip: #define private public", | |
// and then it quickly escalated into more and more evil suggestions. | |
// I've tried to capture interesting suggestions here. | |
// | |
// Contributors: @r2d2rigo, @joeldevahl, @msinilo, @_Humus_, | |
// @YuriyODonnell, @rygorous, @cmuratori, @mike_acton, @grumpygiant, |
This file contains hidden or 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
List all Properties and values in the console: | |
System.getProperties().list(System.out); |
This file contains hidden or 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
\d+ Checks for positive (unsigned) integers | |
-?\d+ Checks for positive and negative (signed and unsigned) integers | |
-\d+ Checks for negative (signed) integers | |
-?\d*(\.\d+)? Checks for positive and negative decimals. | |
-?\d*(\.\d{n})? Checks for positive and negative decimals with precision n. | |
-?\d*(\.\d{n,m})? Checks for positive and negative decimals with a precision between n and m | |
-?\d*(\.\d{n,})? Checks for positive and negative decimals with a precision greater then or equal to n |
NewerOlder