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/perl | |
use Getopt::Long qw(:config no_auto_abbrev no_getopt_compat require_order no_ignore_case); | |
use File::Find; | |
use File::stat; | |
use File::Spec::Functions qw(abs2rel file_name_is_absolute catdir catfile splitpath); | |
use Fcntl ':mode'; | |
use Cwd qw(abs_path cwd); | |
use autodie ':filesys'; | |
use strict; |
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/python3 | |
import sys | |
import subprocess as SP | |
import json | |
import time | |
import sqlite3 as SQL | |
DIRECT_FIELDS = 'address essid quality channel encrypted wpa wpa2'.split(); | |
DIRECT_PLACES = [':' + df for df in DIRECT_FIELDS] |
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
#! /bin/sh -Cefu | |
. /usr/local/bin/mashlib.sh | |
vconc OPAM $HOME /bin/opam | |
vconc REALPROG $HOME /.opam/ $($OPAM switch show) /bin/ocamlbuild | |
CURDIR=$PWD | |
while : ; do | |
if exists $PWD/_tags ; then break ; fi |
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
#! /bin/sh -Cefu | |
. /usr/local/etc/foolinux-pathconfig ; . $FOOLINUX_BIN_PATH/mashlib.sh | |
PROFILE=${1:-default} | |
vconc PROFILEDIR $HOME '/.moonchild productions/pale moon/' $PROFILE .profile | |
vconc PLACES $PROFILEDIR / places.sqlite | |
vconc PLACESWAL $PLACES -wal | |
vconc PLACESSHM $PLACES -shm |
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 perl | |
use strict; | |
my $indexer = $ENV{'MAIL_INDEXER'} || 'mairix'; | |
sub snag_msgid { | |
open (my $mail, "<$_[0]"); | |
if (!$mail) { | |
warn("failed to open $_[0]: $!"); |
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 perl | |
use strict; | |
use warnings; | |
use Net::NNTP; | |
use Getopt::Long qw(:config no_permute); | |
use Fcntl; | |
$main::usage = <<'EOF' |
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
#! /bin/sh localperl | |
# This is now a -*-Perl-*- script | |
use strict; | |
use warnings; | |
use File::Slurp; | |
use POSIX qw(strftime); | |
use X11::Xlib; | |
use X11::Xlib::Display; |
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
#! /bin/sh localperl | |
# This is actually -*-Perl-*- code | |
use strict; | |
use warnings; | |
use FileHandle; | |
use IPC::Open2; | |
use Getopt::Long; | |
use Text::Shorten qw(shorten_scalar); | |
use X11::Xlib; |
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
From mathcomp Require Import ssreflect ssrfun ssrbool. | |
Require Import FunctionalExtensionality. | |
Require Import ClassicalEpsilon. | |
Require Import PropExtensionality. | |
Require Import ZArith. | |
Set Implicit Arguments. | |
Unset Strict Implicit. | |
Unset Printing Implicit Defensive. | |
Require Import Utf8. |
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
;;; deleterious.el --- minor move to delete things instead of killing them | |
;; Copyright (C) Ian Zimmerman 2015 | |
;; Terms: GNU General Public License, Version 2 | |
(require 'thingatpt) | |
(defconst deleterious-mode-map | |
(let ((k (make-sparse-keymap))) | |
(define-key k [remap kill-region] 'delete-region) |