1
0
mirror of https://github.com/rricharz/Tek4010.git synced 2026-01-11 23:53:16 +00:00
2019-04-04 05:56:43 +02:00

38 lines
475 B
Bash
Executable File

#!/bin/bash
# rricharz 2019
wait5s() {
# let tek4010 wait 5 seconds (not this script, which just shuffles stuff into the buffer!)
for i in {1..100}
do
printf '\007'
done
}
head -n 26 tek4010.c
wait5s
# erase screen
printf '\033\014'
cat pltfiles/00README.txt
wait5s
wait5s
cat captured_data
wait5s
for filename in pltfiles/*.plt
do
# erase screen
printf '\033\014'
echo tek4010 is displaying "$filename"
cat "$filename"
wait5s
done