view paste/paste.18813 @ 12508:335a2a849232 draft default tip

<wib_jonas> `` f=/hackenv/bin/dateu; >$f echo $\'#!/bin/bash\\nset -e\\nif (( 1 < $# )); then echo "dateu error: too many command-line arguments. Usage: dateu datetimestring"; exit 2; fi\\nexec date -u ${1:+-d "$1"} "+%Y-%m-%d %H:%M:%S.%3N %z %Z %B %-e %A %G-W%V-%u"\'; chmod a+x "$f"
author HackEso <hackeso@esolangs.org>
date Wed, 03 Jul 2024 18:15:24 +0100
parents dc151ee4038e
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:])