| #!wing | |
| #!version=10.0 | |
| ################################################################## | |
| # Wing project file # | |
| ################################################################## | |
| [project attributes] | |
| console.toolbox = [{'autosave': False, | |
| 'cmd': 'bash -norc -ic ". /home/kevin/envs/gradio-3/bin/activate && bash -norc"', | |
| 'context': ('project', | |
| ''), | |
| 'env': ('merge', | |
| ['TERM=dumb']), | |
| 'id': 'cmd-WAWesIyTgPz7htNd', | |
| 'io_encoding': None, | |
| 'key_binding': None, | |
| 'line_mode': True, | |
| 'pseudo_tty': True, | |
| 'pypath': ('project', | |
| []), | |
| 'raise_panel': True, | |
| 'rundir': ('project', | |
| ''), | |
| 'shared': False, | |
| 'title': 'Terminal 1'}] | |
| proj.directory-list = [{'dirloc': loc('.'), | |
| 'excludes': (), | |
| 'filter': '*', | |
| 'include_hidden': False, | |
| 'recursive': True, | |
| 'watch_for_changes': True}] | |
| proj.file-type = 'shared' | |