diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2021-08-16 16:31:09 -0700 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2021-08-16 16:31:09 -0700 |
| commit | a76bc83a1fdf535cead0c16d7dd23fc292849919 (patch) | |
| tree | 195da2fcb06b65017b17620b00d46399e3bbb8b3 /bin | |
| parent | a2e79a9a642d15e823ac67f5f05eba0829c7dfc7 (diff) | |
| download | dotfiles-a76bc83a1fdf535cead0c16d7dd23fc292849919.tar.gz | |
simplify 'offline' script
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/offline | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/bin/offline b/bin/offline index c5d574e9..8c0d5cd9 100755 --- a/bin/offline +++ b/bin/offline @@ -8,8 +8,4 @@ # network manager on all machines, so this google wget is probably # better for that reason alone -if wget -q --tries=10 --timeout=20 --spider http://google.com; then - exit 1 -else - exit 0 -fi +! wget -q --tries=10 --timeout=20 --spider http://google.com |