diff --git a/svelte/src/filesystem/SearchView.svelte b/svelte/src/filesystem/SearchView.svelte index 2708e9d..cdf9284 100644 --- a/svelte/src/filesystem/SearchView.svelte +++ b/svelte/src/filesystem/SearchView.svelte @@ -8,6 +8,7 @@ export let fs_navigator let dispatch = createEventDispatcher() +let error = "" let search_term = "" let search_results = [] let searching = false @@ -29,6 +30,7 @@ const search = async (limit = 10) => { console.debug("Searching for", search_term) + error = "" last_searched_term = search_term last_limit = limit searching = true @@ -37,8 +39,12 @@ const search = async (limit = 10) => { try { search_results = await fs_search(state.root.id, state.base.path, search_term, limit) } catch (err) { - alert(err) - console.error(err) + try { + error = JSON.parse(err).value + } catch { + alert(err) + console.error(err) + } } searching = false @@ -65,15 +71,27 @@ const node_click = index => { } +{#if error === "path_not_found" || error === "node_is_a_directory"} +
+ Search index not found. The search index is a file called + '.search_index.gz' in your home directory. If you delete this file then + search will not work. The file is regenerated 10 minutes after modifying + a file in your filesystem. +
+{:else if error !== ""} +
+ An error ocurred while executing the search request: {error} +
+{/if} - -
+
Name @@ -107,13 +125,17 @@ const node_click = index => {