search

sullyj3 / sand

Command line countdown timers that don't take up a terminal.
MIT License
0 stars 1 forks source link

calls to notify-send are leaking processes (they don't terminate) #22

Closed sullyj3 closed 4 months ago

sullyj3 commented 4 months ago

Sand: runCmdSimple: https://github.com/sullyj3/sand/blob/acc27dea33c99cb1ca0c99d77a1c1710e24cb501/src/Sand/Basic.lean#L57-L65

lean_io_process_spawn