GitHub/Anki
1
0
Fork 0
mirror of https://github.com/ankitects/anki.git synced 2025-09-18 14:02:21 -04:00
Code Issues Projects Releases Packages 1 Wiki Activity Actions

Tweaks to web-watch

Browse source 
- Fix warning on Linux about conflicting args
- Use clear instead of printing a control char
- Print the rebuild time
- Perform a rebuild on initial invocation
This commit is contained in:
Damien Elmes 2023-06-26 15:50:34 +10:00
parent d5b5b861e2
commit 84609cc505
2 changed files with 5 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
tools/reload_webviews.py
View file

@ -41,7 +41,7 @@ try:
chrome = PyChromeDevTools.ChromeInterface(host=args.host, port=args.port) chrome = PyChromeDevTools.ChromeInterface(host=args.host, port=args.port)
except Exception as e: except Exception as e:
print_error( print_error(
f"Could not establish connection to Chromium remote debugger. Exception:\n{e}" f"Could not establish connection to Chromium remote debugger. Is Anki Open? Exception:\n{e}"
) )
exit(1) exit(1)

6
tools/web-watch
View file

@ -10,14 +10,16 @@ set -e
MONITORED_FOLDERS=("ts/" "sass/" "qt/aqt/data/web/") MONITORED_FOLDERS=("ts/" "sass/" "qt/aqt/data/web/")
MONITORED_EVENTS=("Created" "Updated" "Removed") MONITORED_EVENTS=("Created" "Updated" "Removed")
on_change_detected="printf \\033c\\n; \"./tools/rebuild-web\"" on_change_detected="clear; ./tools/rebuild-web; echo Rebuilt at $(date +%H:%M:%S)"
event_args="" event_args=""
for event in "${MONITORED_EVENTS[@]}"; do for event in "${MONITORED_EVENTS[@]}"; do
event_args+="--event ${event} " event_args+="--event ${event} "
done done
bash -c "$on_change_detected"
# poll_monitor comes with a slight performance penalty, but seems to more # poll_monitor comes with a slight performance penalty, but seems to more
# reliably identify file system events across both macOS and Linux # reliably identify file system events across both macOS and Linux
fswatch -r -o -m poll_monitor ${event_args[@]} \ fswatch -r -o -m poll_monitor ${event_args[@]} \
"${MONITORED_FOLDERS[@]}" | xargs -n1 -I{} sh -c "$on_change_detected" "${MONITORED_FOLDERS[@]}" | xargs -I{} bash -c "$on_change_detected"