Skip to content
Snippets Groups Projects
Select Git revision
  • b16a25edc78ecb8688c35b5c72fddf1b4bd49119
  • master default protected
  • csv_export
  • ndex
  • v1.1.18-rc2
  • v1.1.17
  • v1.1.16
  • v1.1.16-rc12
  • v1.1.16-rc11
  • v1.1.16-rc10
  • v1.1.16-rc9
  • v1.1.16-rc8
  • v1.1.16-rc7
  • v1.1.16-rc4
  • v1.1.16-rc3
  • v1.1.16-rc1
  • v1.1.6-rc1
  • v1.1.15
  • v1.1.15-rc7
  • v1.1.15-rc6
  • v1.1.15-rc3
  • v1.1.15-rc1
  • v1.1.14
  • v1.1.13
24 results

launch-analysis.component.ts

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