mirror of
https://github.com/mipmip/home-manager-option-search.git
synced 2024-08-16 18:40:38 +03:00
178 lines
7.5 KiB
HTML
178 lines
7.5 KiB
HTML
<!DOCTYPE html>
|
|
<html lang="en">
|
|
<head>
|
|
<meta charset="UTF-8">
|
|
<title>Home Manager - Option Search</title>
|
|
|
|
<link rel="shortcut icon" href="images/favicon.png" type="image/x-icon">
|
|
<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/css/bootstrap.min.css" integrity="sha384-BVYiiSIFeK1dGmJRAkycuHAHRg32OmUcww7on3RYdg4Va+PmSTsz/K68vbdEjh4u" crossorigin="anonymous">
|
|
<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/css/bootstrap-theme.min.css" integrity="sha384-rHyoN1iRsVXV4nD0JutlnGaslCJuC7uwjduW9SVrLvRYooPp2bWYgmgJQIXwl/Sp" crossorigin="anonymous">
|
|
<link rel="search" type="application/opensearchdescription+xml" title="Home Manager - Option Search" href="opensearch.xml" />
|
|
<script src="https://ajax.googleapis.com/ajax/libs/jquery/1.12.4/jquery.min.js"></script>
|
|
<script src="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/js/bootstrap.min.js" integrity="sha384-Tc5IQib027qvyjSMfHjOMaLkfuWVxZxUPnCJA7l2mCWNIpG9mGCD8wGNIcPD7Txa" crossorigin="anonymous"></script>
|
|
<script async src="https://umami.pimsnel.com/script.js" data-website-id="8e970d59-b517-4ba6-9b92-207e7dbdb4b1"></script>
|
|
<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.4.0/css/font-awesome.min.css">
|
|
<link href="css/nucleus.css" rel="stylesheet">
|
|
<link href="css/style-nix.css" rel="stylesheet">
|
|
<link rel="stylesheet" href="css/style-q2.css">
|
|
<script async src="https://media.ethicalads.io/media/client/ethicalads.min.js"></script>
|
|
</head>
|
|
<body>
|
|
|
|
<div id="eadiv" data-ea-publisher="extranixcom" data-ea-type="text"></div>
|
|
|
|
<header>
|
|
<div id="lastUpdateElement" style="position:absolute; line-height: 11px; right: 37px;top:59px;"></div>
|
|
<div class="logo">
|
|
<a class="baselink" href="./"> <img src="images/home-manager-option-search2.png"></a>
|
|
</div>
|
|
<nav class="shortcuts">
|
|
<li style="padding-top:10px;">
|
|
<a href="https://nix-community.github.io/home-manager/" rel="noopener">
|
|
<i class="fa fa-book"></i> <label>HM Documentation</label>
|
|
</a>
|
|
</li>
|
|
|
|
<li style="padding-top:10px;">
|
|
<a href="https://github.com/mipmip/home-manager-option-search" rel="noopener">
|
|
<i class="fa fa-github"></i> <label>Source</label>
|
|
</a>
|
|
</li>
|
|
|
|
<li style="margin-left:9px;padding-top:14px;">
|
|
<iframe style="width:51px;" src="https://ghbtns.com/github-btn.html?user=mipmip&repo=home-manager-option-search&type=star&count=false&text=true" frameborder="0" scrolling="0" width="150" height="20" title="GitHub"></iframe>
|
|
</li>
|
|
</nav>
|
|
|
|
</header>
|
|
|
|
|
|
<div class="xcontainer" style="padding-top:70px;">
|
|
<!-- Modal -->
|
|
|
|
<div class="modal" id="myModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel">
|
|
<div class="modal-dialog modal-lg" role="document">
|
|
<div class="modal-content">
|
|
<div class="modal-header">
|
|
<button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button>
|
|
<h4 class="modal-title" id="myModalLabel">Modal title</h4>
|
|
</div>
|
|
<div class="modal-body" id="myModalBody">
|
|
...
|
|
</div>
|
|
<div class="modal-footer">
|
|
<button type="button" class="btn btn-default" data-dismiss="modal">Close</button>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="searchform" xstyle="background-color: white;top:54px;position:sticky;">
|
|
<form method="get" action="?" onSubmit="searchEnter()">
|
|
<div class="form-group">
|
|
<label for="searchInput">
|
|
Option Search
|
|
<span style="font-weight:normal;font-size:smaller;"> (<span><span id="optionCountBadge" style="font-weight:normal;font-size:smaller;" xclass="badge"></span><span style="font-weight:normal;font-size:smaller;">)<span>
|
|
</label>
|
|
|
|
<input class="form-control" type="search" id="searchInput" autofocus="autofocus" placeholder="Search.. e.g. vim">
|
|
|
|
|
|
</div>
|
|
<div class="form-group">
|
|
<label for="release">
|
|
Home Manager release
|
|
</label>
|
|
<select id="releaseSelect">
|
|
<option value="master">unstable</option>
|
|
<option value="release-23.11">23.11</option>
|
|
<option value="release-23.05">23.05</option>
|
|
<!--
|
|
<option value="release-22.11">22.11</option>
|
|
<option value="release-22.05">22.05</option>
|
|
-->
|
|
</select>
|
|
<!--
|
|
<label for="advcheck">
|
|
search options
|
|
<input id="advcheck" type="checkbox" data-toggle="collapse" data-target="#advanced" />
|
|
-->
|
|
</div>
|
|
</form>
|
|
|
|
<div class="collapse" id="advanced" >
|
|
<ul class="list-inline" style="margin-top:5px;margin-bottom:5px;">
|
|
<li>Search in</li>
|
|
<li><input type="checkbox" checked id="indexOnTitleCheckbox"> Title</li>
|
|
<li><input type="checkbox" checked id="indexOnDescriptionCheckbox"> Description</li>
|
|
|
|
<li>Strategy</li>
|
|
<li>
|
|
<select id="indexStrategySelect" style="margin-bottom:0">
|
|
<option value="JsSearch.AllSubstringsIndexStrategy">All substrings</option>
|
|
<option value="JsSearch.ExactWordIndexStrategy">Exact match</option>
|
|
<option value="JsSearch.PrefixIndexStrategy" selected>Prefix matching</option>
|
|
</select>
|
|
</li>
|
|
</div>
|
|
|
|
<table id="indexedOptionsTableHeader" style="margin-bottom:0;" class="table table-striped table-condensed hidden">
|
|
<thead>
|
|
<tr>
|
|
<th>Title</th>
|
|
<th class="phonehide">Description</th>
|
|
<th class="phonehide">Type</th>
|
|
</tr>
|
|
</thead>
|
|
<tbody>
|
|
|
|
</tbody>
|
|
</table>
|
|
|
|
|
|
</div>
|
|
|
|
<table id="indexedOptionsTable" class="table table-striped table-condensed hidden">
|
|
<!--
|
|
<thead>
|
|
<tr>
|
|
<th>Title</th>
|
|
<th>Description</th>
|
|
<th>Type</th>
|
|
</tr>
|
|
</thead>
|
|
-->
|
|
<tbody>
|
|
|
|
</tbody>
|
|
</table>
|
|
|
|
<div id="loadingProgressBar" class="progress">
|
|
<div class="progress-bar progress-bar-striped active"
|
|
role="progressbar"
|
|
aria-valuenow="100" aria-valuemin="0" aria-valuemax="100" style="width: 100%;">
|
|
Loading option data...
|
|
</div>
|
|
</div>
|
|
</div>
|
|
|
|
<footer class=" navbar-fixed-bottom" >
|
|
<div >
|
|
<p>
|
|
Powered by the <a href="https://nix-community.org/">Nix Community</a> |
|
|
<a href="https://github.com/mipmip/home-manager-option-search#credits">Credits</a> |
|
|
<a href="https://nix-community.github.io/home-manager/">Home Manager Documentation</a>
|
|
</p>
|
|
<p>
|
|
Made with ❤️ by <a href="https://github.com/mipmip">Pim Snel</a>
|
|
</p>
|
|
</div>
|
|
</footer>
|
|
|
|
<!--<script type="text/javascript" src="https://rawgit.com/kristopolous/Porter-Stemmer/master/PorterStemmer1980.min.js"></script>-->
|
|
<!--<script type="text/javascript" src="https://unpkg.com/js-search@1.3.7/dist/umd/js-search.min.js"></script>-->
|
|
<script type="text/javascript" src="https://unpkg.com/js-search@2.0.1/dist/umd/js-search.min.js"></script>
|
|
<script type="text/javascript" src="js/script.js?version=2024-03-23"></script>
|
|
</body>
|
|
</html>
|