7 lines
202 B
Plaintext
7 lines
202 B
Plaintext
![]() |
#!/bin/bash
|
||
|
#% msg message
|
||
|
#% INTERNAL/DEV: record a message for the admin shell user. It will be emitted upon calling and after commiting changes.
|
||
|
. $LIB_DIR/common.sh
|
||
|
push <<<"#!`date`: $@"
|
||
|
echo "$@"
|