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
-- This file is translated by "headmaster" version 0.30-18d0286 (devel). | |
-- The original C header's license should be applied to this file. | |
-- All conditional-directives are expanded for the exclusive use of your | |
-- environment, it is not recommended to commit this file to any repository. | |
------------------------------------------------------------------------------- | |
with C.sys.types; | |
package C.bsm.audit is | |
pragma Preelaborate; | |
subtype au_id_t is sys.types.uid_t; | |
subtype au_id_t_ptr is sys.types.uid_t_ptr; |
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
-- This file is translated by "headmaster" version 0.30-18d0286 (devel). | |
-- The original C header's license should be applied to this file. | |
-- All conditional-directives are expanded for the exclusive use of your | |
-- environment, it is not recommended to commit this file to any repository. | |
------------------------------------------------------------------------------- | |
with C.sys.types; | |
package C.bsm.audit is | |
pragma Preelaborate; | |
subtype au_id_t is sys.types.uid_t; | |
subtype au_id_t_ptr is sys.types.uid_t_ptr; |
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
-- This file is translated by "headmaster" version 0.30-886eb78 (devel). | |
-- The original C header's license should be applied to this file. | |
-- All conditional-directives are expanded for the exclusive use of your | |
-- environment, it is not recommended to commit this file to any repository. | |
------------------------------------------------------------------------------- | |
with C.sys.types; | |
package C.bsm.audit is | |
pragma Preelaborate; | |
subtype au_id_t is sys.types.uid_t; | |
subtype au_id_t_ptr is sys.types.uid_t_ptr; |
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
-- This file is translated by "headmaster" version 0.30-886eb78 (devel). | |
-- The original C header's license should be applied to this file. | |
-- All conditional-directives are expanded for the exclusive use of your | |
-- environment, it is not recommended to commit this file to any repository. | |
------------------------------------------------------------------------------- | |
with C.sys.types; | |
package C.bsm.audit is | |
pragma Preelaborate; | |
subtype au_id_t is sys.types.uid_t; | |
subtype au_id_t_ptr is sys.types.uid_t_ptr; |
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
-- This file is translated by "headmaster" version 0.30-886eb78 (devel). | |
-- The original C header's license should be applied to this file. | |
-- All conditional-directives are expanded for the exclusive use of your | |
-- environment, it is not recommended to commit this file to any repository. | |
------------------------------------------------------------------------------- | |
with C.stddef; | |
package C.alloca is | |
pragma Preelaborate; | |
function alloca (size : stddef.size_t) return void_ptr; | |
pragma Import (C, alloca, "alloca"); |
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
-- This file is translated by "headmaster" version 0.30-886eb78 (devel). | |
-- The original C header's license should be applied to this file. | |
-- All conditional-directives are expanded for the exclusive use of your | |
-- environment, it is not recommended to commit this file to any repository. | |
------------------------------------------------------------------------------- | |
with C.stddef; | |
package C.alloca is | |
pragma Preelaborate; | |
function alloca (size : stddef.size_t) return void_ptr; | |
pragma Import (C, alloca, "alloca"); |
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
-- This file is translated by "headmaster" version 0.30-886eb78 (devel). | |
-- The original C header's license should be applied to this file. | |
-- All conditional-directives are expanded for the exclusive use of your | |
-- environment, it is not recommended to commit this file to any repository. | |
------------------------------------------------------------------------------- | |
with C.stddef; | |
package C.alloca is | |
pragma Preelaborate; | |
function alloca (size : stddef.size_t) return void_ptr; | |
pragma Import (C, alloca, "alloca"); |
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
type token = T_w | T_W | T_v | EOF;; | |
let rec scan s i = ( | |
let length = String.length s in | |
if i >= length then length, EOF else | |
match s.[i] with | |
| 'W' -> i + 1, T_W | |
| 'w' -> i + 1, T_w | |
| 'v' -> i + 1, T_v | |
| '\xef' -> (* W : EF BC B7, v : EF BD 96, w : EF BD 97 *) |
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/bash | |
# Thanks to https://ubuntuforums.org/showthread.php?t=2074098 | |
[[ -z "$HOME" ]] && exit 1 | |
[[ -z "$TMPDIR" ]] && exit 1 | |
# $bing is needed to form the fully qualified URL for | |
# the Bing pic of the day | |
bing="www.bing.com" |
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
function mdcd { | |
local OPTARG OPTIND REPLY | |
local opt list dryrun query a s len home i ilen ihome | |
# switches | |
list= | |
dryrun= | |
OPTIND= | |
while getopts "ln" opt; do | |
case $opt in | |
l) list=1 ;; |