2024-08-26 12:02:35 +02:00
|
|
|
#!/bin/sh
|
2024-08-27 20:40:05 +02:00
|
|
|
test -z $1 && { echo "Usage: js 'somefunction(1)'"; exit 0; }
|
|
|
|
|
|
|
|
javascript="$*"
|
|
|
|
|
|
|
|
# if we are run as shebang, use the file as input
|
|
|
|
case "$1" in
|
|
|
|
*/*) javascript="$(cat $1 | tail +2)"
|
|
|
|
;;
|
|
|
|
esac
|
|
|
|
|
|
|
|
|
|
|
|
flock /dev/browser/js -c "echo '$javascript' > /dev/browser/js; sleep 0.5; cat /dev/browser/js"
|
2024-08-26 12:02:35 +02:00
|
|
|
|
|
|
|
# we use flock, an awesome way to make processes read/write the same file
|
2024-08-27 20:40:05 +02:00
|
|
|
# while preventing 1001 concurrency issues
|