Skip to content
Snippets Groups Projects
Select Git revision
  • cffbd3c59b757c0a63709bd4ce6ccbd59833f4f7
  • master default
  • v0.6.9
  • v0.6.8
  • v0.6.7
  • v0.6.6
  • v0.6.5
  • v0.6.4
  • v0.6.2
9 results

gui.md

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