all recent config changes

hosts/main/elephant/elephant.toml

@@ -0,0 +1,9 @@
+auto_detect_launch_prefix = true
+before_load = []
+git_on_demand = true
+ignored_providers = []
+launch_prefix = ''
+overload_local_env = false
+terminal_cmd = ''
+
+[provider_hosts]

hosts/main/elephant/runner.toml

@@ -0,0 +1,10 @@
+explicits = []
+generic_text = 'run: '
+history = true
+history_when_empty = false
+
+[Config]
+hide_from_providerlist = false
+icon = 'utilities-terminal'
+min_score = 50
+name_pretty = ''