index
:
opkbuild/opkbuild.git
feature/build-system-improvements
feature/remove-_ob_local
master
OPK build system
Patrick McDermott
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
tools
Commit message (
Expand
)
Author
Age
Files
Lines
*
tools/shman.sh: Update and improve options help
Patrick McDermott
2018-12-27
1
-8/+12
*
tools/shman.sh: Add "-b base_dir" option
Patrick McDermott
2018-12-27
1
-2/+7
*
tools/shman.sh: Create any missing directories
Patrick McDermott
2018-12-27
1
-0/+2
*
tools/shman.sh: Implement SYNOPSIS
Patrick McDermott
2018-12-27
1
-17/+36
*
tools/shman.sh: Don't treat "\" as escape char in cmd args
Patrick McDermott
2018-12-27
1
-2/+2
*
tools/shman.sh: Rename and reformat @pure command
Patrick McDermott
2018-12-27
1
-3/+9
*
tools/shman.sh: s/SUBSHELL SAFETY AND SIDE EFFECTS/ATTRIBUTES/
Patrick McDermott
2018-12-27
1
-4/+4
*
tools/shman.sh: Make executable
Patrick McDermott
2018-12-27
1
-0/+0
*
tools/shman.sh: Remove quotes in parameter expansions
Patrick McDermott
2018-12-27
1
-5/+5
*
tools/shman.sh: Open/close tags file only once
Patrick McDermott
2018-12-27
1
-11/+8
*
tools/shman.sh: Write tags file
Patrick McDermott
2018-12-27
1
-0/+15
*
tools/shman.sh: Fix missing local var declaration
Patrick McDermott
2018-12-27
1
-0/+1
*
tools/shman.sh: Drop an unused global constant
Patrick McDermott
2018-12-27
1
-1/+0
*
tools/shman.sh: Add @stdin, @stdout, and @stderr commands
Patrick McDermott
2018-12-27
1
-1/+16
*
tools/shman.sh: Support a @purity command
Patrick McDermott
2018-12-27
1
-1/+6
*
tools/shman.sh: Generate "OPERANDS" sections
Patrick McDermott
2018-12-27
1
-1/+17
*
tools/shman.sh: Generate "OPTIONS" sections
Patrick McDermott
2018-12-27
1
-1/+22
*
tools/shman.sh: Remove some old commented-out code
Patrick McDermott
2018-12-27
1
-4/+0
*
tools/shman.sh: Drop markdown-like font markup
Patrick McDermott
2018-12-27
1
-14/+0
*
tools/shman.sh: New file
Patrick McDermott
2018-12-27
1
-0/+282
*
tools/shld.sh, tools/shpp.sh: Add
Patrick McDermott
2018-12-20
2
-0/+339