nobrowser

(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

nobrowser

(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))

nobrowser

;;; xmlsplice.el --- Complex balanced tag manipulations in nXML mode.

;; Author: Ian Zimmerman <itz@buug.org>
;; Version: 2015.10.27

;; This file is NOT part of GNU Emacs.

;;; Commentary:

;; For now, this module defines a nXML command analogous to

nobrowser

#! /bin/sh -Cefu

. /usr/local/bin/fortify.sh

# test0, xwinpos
. /usr/local/bin/mashlib.sh

margin=10
timeout=2
sleepwait=0.1

nobrowser

#!/usr/bin/python

import os
import pwd
import socket
from argparse import ArgumentParser
from smtplib import ( SMTP , quotedata , SMTPDataError , CRLF ,
                      SMTPSenderRefused , SMTPRecipientsRefused )
import sys

nobrowser

#! /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

nobrowser

#! /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

nobrowser

Require Import Utf8.

Require Import Coq.Vectors.Fin.

Require Import Coq.Lists.List.

Open Scope list_scope.

Import ListNotations.

nobrowser

#! /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)

nobrowser

#! /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