|
|
@@ -1372,6 +1372,11 @@ Default config values:
|
|
1372
|
1372
|
time_end = time.time()
|
|
1373
|
1373
|
exectime_internal = time_end - time_start
|
|
1374
|
1374
|
print 'Execution time %.5f secs, %.5f secs (%.2f %%) in external commands)' % (exectime_internal, exectime_external, (100.0 * exectime_external) / exectime_internal)
|
|
|
1375
|
+ if sys.stdin.isatty():
|
|
|
1376
|
+ print 'You may now run:'
|
|
|
1377
|
+ print
|
|
|
1378
|
+ print ' sensible-browser \'%s\'' % os.path.join(outputpath, 'index.html').replace("'", "'\\''")
|
|
|
1379
|
+ print
|
|
1375
|
1380
|
|
|
1376
|
1381
|
if __name__=='__main__':
|
|
1377
|
1382
|
g = GitStats()
|