diff options
author | P. J. McDermott <pj@pehjota.net> | 2017-07-22 15:16:40 (EDT) |
---|---|---|
committer | P. J. McDermott <pj@pehjota.net> | 2017-07-22 15:16:40 (EDT) |
commit | 57cfe27c91b01939a1302f9e4f8bb82c8c327884 (patch) | |
tree | df399f925b518a38ae50da171887d5ab929103e4 | |
parent | 069cc3e3b2603f51b1abbe0238c35bf8e58a4afb (diff) |
load_cmds(): Remove
-rw-r--r-- | src/cmd.sh | 12 |
1 files changed, 0 insertions, 12 deletions
@@ -19,18 +19,6 @@ cmds= -load_cmds() -{ - local cmd= - - for cmd in ${PKGLIBCMD}; do - cmd="${cmd##*/}" - cmd="${cmd%.sho}" - cmds="${cmds}${cmd}${LF}" - use "cmd/${cmd}" - done -} - print_opt_summaries() { local padding= |