Skip to content
Snippets Groups Projects
Select Git revision
  • 23b6bcd2071f1eb2b0370f780de2de1f70bafb90
  • master default protected
  • wsclean>3.1
  • wsclean2.11
  • dp3
5 results

build_lofar.sh

Blame
  • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    create_dir.py 372 B
    #!/usr/bin/env python3
    
    '''
    helper script to create a directory at a given path
    
    author: Birgitta Päuker
    '''
    
    import os,sys
    
    # Function to create a directory at the given path
    def create_dir(path):
      try:
        os.makedirs(path)
        print("# directory {} created".format(path))
      except FileExistsError:
        sys.stderr.write("# directory {} already exists\n".format(path))