2017-08-03 22:02:57 +00:00
|
|
|
function logmsg
|
2017-08-04 04:25:20 +00:00
|
|
|
echo
|
|
|
|
echo "####################"
|
2017-08-03 22:02:57 +00:00
|
|
|
echo "# $argv"
|
2017-08-04 04:25:20 +00:00
|
|
|
|
|
|
|
echo >&2
|
|
|
|
echo "####################" >&2
|
2017-08-03 22:02:57 +00:00
|
|
|
echo "# $argv" >&2
|
|
|
|
end
|