system/utils.py

   1 # Thierry Parmentelat <thierry.parmentelat@inria.fr>
   2 # Copyright (C) 2010 INRIA
   3 #
   4 import time, os, re, glob, sys
   5 from pprint import PrettyPrinter
   6
   7 options={}
   8
   9 def init_options(options_arg):
  10     global options
  11     options=options_arg
  12
  13 # how could this accept a list again ?
  14 def header(message):
  15     now=time.strftime("%H:%M:%S", time.localtime())
  16     print "*",now,'--',message
  17
  18 def pprint(message,spec,depth=2):
  19     now=time.strftime("%H:%M:%S", time.localtime())
  20     print ">",now,"--",message
  21     PrettyPrinter(indent=8,depth=depth).pprint(spec)
  22
  23
  24
  25 def system(command,background=False,silent=False):
  26     if getattr(options,'dry_run',None):
  27         print 'dry_run:',command
  28         return 0
  29
  30     if silent :
  31         if command.find(';')>=0: command = "(%s) 2> /dev/null" % command
  32         else: command += " 2> /dev/null"
  33     if background: command += " &"
  34     if silent:
  35         print '.',
  36         sys.stdout.flush()
  37     else:
  38         now=time.strftime("%H:%M:%S", time.localtime())
  39         # don't show in summary
  40         print "->",now,'--',
  41         sys.stdout.flush()
  42     return os.system("set -x; " + command)
  43
  44 ### WARNING : this ALWAYS does its job, even in dry_run mode
  45 def output_of (command):
  46     import commands
  47     (code,string) = commands.getstatusoutput(command)
  48     return (code,string)
  49
  50
  51 # convenience: translating shell-like pattern into regexp
  52 def match (string, pattern):
  53     # tmp - there's probably much simpler
  54     # rewrite * into .*, ? into .
  55     pattern=pattern.replace("*",".*")
  56     pattern=pattern.replace("?",".")
  57     return re.compile(pattern).match(string)
  58
  59 def locate_hooks_scripts (message,path,extensions):
  60     print message,'searching',path,'for extensions',extensions
  61     scripts=[]
  62     for ext in extensions:
  63         # skip helper programs
  64         scripts += glob.glob (path+'/[a-zA-Z]*.'+ext)
  65     return scripts
  66
  67 # quick & dirty - should probably use the parseroption object instead
  68 # and move to TestMain as well
  69 exclude_options_keys = [ 'ensure_value' , 'read_file', 'read_module' ]
  70 def show_options (message,options):
  71     now=time.strftime("%H:%M:%S", time.localtime())
  72     print ">",now,"--",message
  73     for k in dir(options):
  74         if k.find("_")==0: continue
  75         if k in exclude_options_keys: continue
  76         print "    ",k,":",getattr(options,k)
  77
  78
  79