index
:
extrautils
chore
main
Random, rarely useful utilities
Lars Wirzenius <liw@liw.fi>
summary
refs
log
tree
commit
diff
log msg
author
committer
range
diff options
context:
1
2
3
4
5
6
7
8
9
10
15
20
25
30
35
40
space:
include
ignore
mode:
unified
ssdiff
stat only
Diffstat
-rwxr-xr-x
argv0
5
1 files changed, 3 insertions, 2 deletions
diff --git a/argv0 b/argv0
index f08a1ed..93d09ee 100755
--- a/
argv0
+++ b/
argv0
@@ -1,6 +1,7 @@
-#!/usr/bin/python
+#!/usr/bin/python3
-import sys, os
+import sys
+import os
argv = sys.argv[2:]
os.execvp(sys.argv[1], argv)