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
(defun itz-mktemp (prefix &optional dir-flag suffix) | |
"A better temporary file creator function." | |
(let ((rg "dd if=/dev/urandom bs=16 count=1 2>/dev/null | md5sum") | |
(sfx (or suffix "")) | |
(creator | |
(if dir-flag #'mkdir | |
(lambda (f) (write-region "" nil f nil 'quiet nil 'excl)))) | |
(oldmodes (default-file-modes))) | |
(unwind-protect | |
(catch 'created |
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
(defun itz-program-output-on-region (start end prog &rest args) | |
"Run PROG with ARGS synchronously, passing it text between START END. | |
Return its output as a string." | |
(with-output-to-string | |
(let ((exit-status | |
(apply 'call-process-region | |
start end prog nil standard-output nil args))) | |
(cond | |
((stringp exit-status) | |
(error "Program killed: %s" exit-status)) |
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
;;; xmlsplice.el --- Complex balanced tag manipulations in nXML mode. | |
;; Author: Ian Zimmerman <[email protected]> | |
;; Version: 2015.10.27 | |
;; This file is NOT part of GNU Emacs. | |
;;; Commentary: | |
;; For now, this module defines a nXML command analogous to |
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/sh -Cefu | |
. /usr/local/bin/fortify.sh | |
# test0, xwinpos | |
. /usr/local/bin/mashlib.sh | |
margin=10 | |
timeout=2 | |
sleepwait=0.1 |
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
#!/usr/bin/python | |
import os | |
import pwd | |
import socket | |
from argparse import ArgumentParser | |
from smtplib import ( SMTP , quotedata , SMTPDataError , CRLF , | |
SMTPSenderRefused , SMTPRecipientsRefused ) | |
import sys |
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/sh -Cefu | |
PATH=/bin:/usr/bin:/usr/local/bin | |
EDITOR=${VISUAL:-emacs} | |
# interactive merge a la git | |
# first, dump marked differences into a temporary file. | |
# ignore the exit status which just means conflicts have been found | |
t=$( mktemp idiff3.XXXXXXXXXXXX ) | |
diff3 --label=local --label=old --label=remote -m $1 $2 $3 >> $t || true |
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
#! /usr/bin/python | |
# This script translates s-expressions (ie. the Lisp/Scheme data notation) | |
# into tk scripts with nested widgets. Example input: | |
# | |
# ;; --*-scheme-*-- | |
# (frame | |
# :grid v | |
# (frame | |
# :grid h |
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
Require Import Utf8. | |
Require Import Coq.Vectors.Fin. | |
Require Import Coq.Lists.List. | |
Open Scope list_scope. | |
Import ListNotations. |
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/sh -Cefu | |
. /usr/local/bin/fortify.sh | |
. /usr/local/bin/mashlib.sh | |
MYLOGIN=$(id -un) | |
HOME=$(conc /home/ $MYLOGIN) | |
# defaults possibly overriden by config file | |
DESTDIR=$(conc $HOME /music/streams/croddur) |
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/sh -Cefu | |
. /usr/local/bin/fortify.sh | |
. /usr/local/bin/mashlib.sh | |
MODE=name | |
usage() | |
{ | |
echo 'usage: pmtw ( NAME | -u UUID | -l LABEL | -p PARTITION )' >&2 |
OlderNewer