diff options
| author |  Christian Hesse <mail@eworm.de> | 2019-12-03 21:46:04 +0100 |
|---|---|---|
| committer | Christian Hesse <mail@eworm.de> | 2019-12-03 23:45:55 +0100 |
| commit | ebd5ff9bfecf8a843eb7ed87d10b2bacc8518ca6 (patch) | |
| tree | fe9478266e406e1253120784e33271fcbb9f907a /global-config.changes | |
| parent | bccdb47fdedf5cccd779fd54766db05dfd1741ab (diff) | |
global-functions: introduce $ScriptFromTerminal
Checking whether or not started from terminal is tricky... We have to find
the job for the script, find its top most parent and get its type.
Diffstat (limited to 'global-config.changes')
0 files changed, 0 insertions, 0 deletions