Compare commits

..

4 Commits

22 changed files with 823 additions and 822 deletions

View File

@@ -163,14 +163,4 @@ dsleep()
export -f dsleep export -f dsleep
# ------------------------------------------------------------------------------
# Dump the keyboard's buffer
dump_key_buffer()
{
while read -r -t 0.001; do
:
done
}
export -f dump_key_buffer
# EOF # EOF

View File

@@ -12,7 +12,7 @@
# Define normalised time display, filename friendly # Define normalised time display, filename friendly
stdtime() stdtime()
{ {
date --rfc-3339=seconds | sed -e 's/ /-/' -e 's/://g' date --rfc-3339=seconds | sed -e 's/ /-/' -e 's/://g' | cut -d'+' -f1
} }
export -f stdtime export -f stdtime
@@ -57,4 +57,15 @@ trim()
} }
export -f trim export -f trim
# ------------------------------------------------------------------------------
# Dump the keyboard's buffer
dump_key_buffer()
{
while read -r -t 0.001; do
:
done
}
export -f dump_key_buffer
# EOF # EOF