private void buttonInstanceSearch_Click(object sender, EventArgs e)
{
string searchInfo = textBoxSearch.Text;
string searchDir = Directory.GetParent(AppContext.BaseDirectory).Parent.FullName + @"\instances";
listBoxSearch.Items.Clear();
var list_of_files_that_match = Directory.EnumerateFiles(searchDir, "README.md", SearchOption.AllDirectories).Where(delegate (string t)
{
return File.ReadAllText(t).Contains(searchInfo, StringComparison.CurrentCultureIgnoreCase);
}).ToList();
foreach (var value in list_of_files_that_match)
{
listBoxSearch.Items.Add(value);
}
}
private void buttonInstanceSearch_Click(object sender, EventArgs e)
{
string searchInfo = textBoxSearch.Text;
string searchDir = Directory.GetParent(AppContext.BaseDirectory).Parent.FullName + @"\instances";
listBoxSearch.Items.Clear();
var list_of_files_that_match = Directory.EnumerateFiles(searchDir, "README.md", SearchOption.AllDirectories).Where(delegate (string t)
{
return File.ReadAllText(t).Contains(searchInfo, StringComparison.CurrentCultureIgnoreCase);
}).ToList();
foreach (var value in list_of_files_that_match)
{
listBoxSearch.Items.Add(value);
}
}