You've already forked RecordFlux
mirror of
https://github.com/AdaCore/RecordFlux.git
synced 2026-02-12 13:01:56 -08:00
8 lines
138 B
Bash
Executable File
8 lines
138 B
Bash
Executable File
#!/bin/bash
|
|
|
|
set -eu
|
|
|
|
VENV=$1
|
|
source ${VENV}/activate
|
|
python3 -O ping.py 127.0.0.1 | sed '/64 bytes from 127\.0\.0\.1: icmp_seq=0/q; $q1'
|