view paste/paste.21008 @ 9954:fb3529990ed4

<oerjan> ` echo \'121:122 194:196 770:771 1000:1001 1493 1497 2113:2114 3341:3343 4530:4531 5136:5137 5642:5643 5895 5897 8669:8678 9070:9071 9074:9075\' | xargs -n 1 >share/scowrevs
author HackBot
date Mon, 12 Dec 2016 03:24:20 +0000
parents 9ef3c341972b
children
line wrap: on
line source

#!/usr/bin/env python

import os
import sys
import subprocess

http_proxy = 'http://127.0.0.1:3128'
path = '/hackenv/bin:/opt/python27/bin:/opt/ghc/bin:/usr/bin:/bin'
lib = os.path.abspath('lib')

subprocess.call(
    ['nice', '-n10',
     '/usr/bin/umlbox',
     '-R3128:127.0.0.1:3128',
     '--no-stdin',
     '--base-mounts',
     '--mount', '/opt',
     #'--mount', '/var/irclogs',
     '--mount', '/etc/java-6-openjdk',
     '--mount', lib,
     '--translate-write', '/hackenv', os.environ['HACKENV'],
     '--translate', '/hackenv/.hg', os.path.join(os.environ['HACKENV'], '.hg'),
     '--cwd', '/hackenv',
     '--timeout', '30',
     'env', 'PATH=' + path, 'HACKENV=/hackenv', 'http_proxy=' + http_proxy, 'LANG=en_NZ.UTF-8',
     os.path.join(lib, 'limits')] + sys.argv[1:])