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

[Arnout E. <no...@bz...>]

Hi Johannes,

This file is loaded when mod_query is loaded and saved when the
session is saved or when notion is shut down.

Perhaps if you edit the file and then kill the notion process this
will have the desired effect?


Arnout

On Mon, Jul 30, 2018 at 2:26 PM, Johannes Schöön via Notion-general
<not...@li...> wrote:
> Hi all,
>
> Is there a way of editing or resetting the command history of notion?
> I have some annoying items in my history, which keep showing up,
> cluttering the view. They can be seen in
>
> ~/.notion/default-session--0/saved_queryhist.lua,
>
> but this appears to only be a snapshot of what was in the history stack
> at the time I log out. Deleting or editing it has no effect.
>
> This is only a minor niggle, but in a heat wave, it can be quite annoying.
>
> Hälsningar
>
> Johannes
>
> p.s. In notion command history, spaces seem to count, at least trailing
> ones.
>
>
> ------------------------------------------------------------------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
> _______________________________________________
> Notion-general mailing list
> Not...@li...
> https://lists.sourceforge.net/lists/listinfo/notion-general