KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Merge branch 'with_open' of https://github.com/Luflosi/kitty

Browse Source
This commit is contained in:
Kovid Goyal 2020-01-16 19:41:55 +05:30
commit f5090c951a
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
kitty/main.py
View File

@ -177,7 +177,8 @@ def setup_profiling(args):
exe = kitty_exe() exe = kitty_exe()
cg = '/tmp/kitty-profile.callgrind' cg = '/tmp/kitty-profile.callgrind'
print('Post processing profile data for', exe, '...') print('Post processing profile data for', exe, '...')
subprocess.call(['pprof', '--callgrind', exe, '/tmp/kitty-profile.log'], stdout=open(cg, 'wb')) with open(cg, 'wb') as f:
subprocess.call(['pprof', '--callgrind', exe, '/tmp/kitty-profile.log'], stdout=f)
try: try:
subprocess.Popen(['kcachegrind', cg]) subprocess.Popen(['kcachegrind', cg])
except FileNotFoundError: except FileNotFoundError: