Re: [Notion-general] How to reset/edit query history?

[Johannes S. <sc...@ma...>]

On Fri, 3 Aug 2018, Arnout Engelen wrote:

> And if you send signal 9 (SIGKILL) instead of the default (SIGTERM)?

I should have know. Chanel No. 9 worked like a charm! Thanks!

Now I only have to watch my fingers when I type commands.

Best Regards

Johannes