File: make_emperor.py

package info (click to toggle)
qiime 2024.5.0-1
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 3,688 kB
  • sloc: python: 31,045; sh: 96; makefile: 31
file content (10 lines) | stat: -rwxr-xr-x 330 bytes parent folder | download | duplicates (4)
1
2
3
4
5
6
7
8
9
10
#!/usr/bin/python

# The make_emperor command on Debian lacks a .py extension
#exec make_emperor "$@"

# But then if I use a standard shell wrapper I get complaints that the file
# with a .py extension is not a Python file, so here's a Python equivalent.

import os, sys
os.execvp("make_emperor", ["make_emperor"] + sys.argv[1:])