Skip to content
Snippets Groups Projects
Select Git revision
  • 1d420bbcb3be622c066176b7ce8c8e3c640e090f
  • master default protected
2 results

create_dir.py

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))