diff options
| author | Brian May <brian@linuxpenguins.xyz> | 2018-06-18 17:11:31 +1000 |
|---|---|---|
| committer | Brian May <brian@linuxpenguins.xyz> | 2018-07-15 09:03:43 +1000 |
| commit | f2da53c25b1bf917958e01af398faf03d09678c6 (patch) | |
| tree | ec7a234cb7e01d88d0f43fa6e51133523c828dec /bin/apt-update-file | |
| parent | dee0f0f64caeb15bd25650017b8e04a3c2894403 (diff) | |
Replace <> with != for Python 3.6 compatibility
Diffstat (limited to 'bin/apt-update-file')
| -rwxr-xr-x | bin/apt-update-file | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/apt-update-file b/bin/apt-update-file index 6b253009db..081b6211ca 100755 --- a/bin/apt-update-file +++ b/bin/apt-update-file @@ -21,7 +21,7 @@ root_path = setup_paths() import debian_support -if len(sys.argv) <> 3: +if len(sys.argv) != 3: sys.stderr.write("usage: apt-update-file REMOTE LOCAL\n") sys.exit(1) |