Cleaning for github publishing

This commit is contained in:
2023-09-24 19:21:39 +02:00
parent 8261335e92
commit f31c44630e
6 changed files with 22 additions and 14 deletions

View File

@@ -1,9 +1,17 @@
# Linux Workspace Functions
if [ -z "$time_ms" ]; then
readonly time_ms='date +%s%3N'
readonly time_ms='date +%s%3N'
fi
function is_fast_init() {
(( $LWS_FAST ))
}
function is_slow_init() {
! is_fast_init
}
function xlog() {
if true_false "$LWS_DEBUG"; then
echo "$@"