git-repo-search/index.html

43 lines
1.4 KiB
HTML
Raw Permalink Normal View History

2025-01-06 01:48:11 +01:00
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="stylesheet" href="style.css">
<script src="dist/bundle.js" type="module" defer></script>
<title>Git Repo Search</title>
</head>
<body>
<h1>Git Repo Search</h1>
<main>
<div>
<label for="repo-name">Repository:</label>
<input type="text" id="repo-name" placeholder="user/repo">
</div>
<div>
<label for="repo-ref">Ref/commit:</label>
<input type="text" id="repo-ref" value="main">
</div>
<div>
<label for="git-provider">Git provider:</label>
<select id="git-provider">
<option value="github" selected>Github</option>
</select>
</div>
<button id="load-repo">Load repository</button>
<div id="file-tree"></div>
<div>
<label for="search-pattern">Search pattern:</label>
<input type="text" id="search-pattern">
</div>
<div>
<button id="search">Search in file(s)</button>
<span id="search-status"></span>
</div>
<div id="search-results"></div>
</main>
</body>
</html>