nobrowser

import board
import adafruit_gps

from struct import Struct
from time import time, sleep
from calendar import timegm
import sys
from argparse import ArgumentParser, ArgumentDefaultsHelpFormatter
from socket import socket, socketpair, AF_UNIX, SOCK_DGRAM
import json

nobrowser

#/usr/local/bin/bash -Cfu

# bash only because of PIPESTATUS

eval `opam env --shell=bash` || exit 1
unset INSIDE_EMACS
dune "$@" 2>&1 | cat
exit ${PIPESTATUS[0]}

nobrowser

 17:Library $ sudo ls -lO Caches/
ls: com.apple.aned: Operation not permitted
total 0
drwxr-xr-x@   3 root           admin  -    96 Jan  2 11:57 ColorSync
drwxr-xr-x    3 root           admin  -    96 Jan  2 11:57 Desktop Pictures
drwxr-xr-x@   3 itz            admin  -    96 Feb  5 18:40 com.apple.cloudkit
drwx--x--x  925 _iconservices  admin  - 29600 Feb  5 11:43 com.apple.iconservices.store

nobrowser

#! /usr/bin/env perl

# This program parses the keysym definitions from a X11 source distribution
# and one or more XCompose specifications files (XCompose files mentioned
# later on the command line will override settings from those mentioned
# earlier). It then produces the same bindings (more or less) in the format
# suitable for a personal DefaultKeyBinding.dict file.

use strict;
use warnings;

nobrowser

;;; eclips.el --- periodically collect clipboard contents 

;; This file is free software; you can redistribute it and/or modify
;; it under the terms of the GNU General Public License as published by
;; the Free Software Foundation; either version 2, or (at your option)
;; any later version.

;; This file is distributed in the hope that it will be useful,
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

nobrowser

;;; NEWS in this version:
;;; fixed bug in expand/collapse code (subtrees of depth > 1 should
;;; remember their state)
;;; IPv6 addresses sort correctly now

;;; dig-browser.el --- a dired-style DNS zone browser

;; Copyright (C) 2002 Ian Zimmerman

;; Author:  Ian Zimmerman <itz@speakeasy.org>

nobrowser

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

nobrowser

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.

nobrowser

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

nobrowser

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