mirror of
https://github.com/mipmip/home-manager-option-search.git
synced 2024-08-17 02:50:28 +03:00
last stuff
This commit is contained in:
parent
96340352f8
commit
b0de003864
13
config.yaml
13
config.yaml
@ -4,6 +4,18 @@ title: Home Manager - Option Search
|
|||||||
theme: extranix-options-search
|
theme: extranix-options-search
|
||||||
|
|
||||||
params:
|
params:
|
||||||
|
|
||||||
|
release_switch_title: Home Manage Release
|
||||||
|
releases:
|
||||||
|
- name: unstable
|
||||||
|
value: master
|
||||||
|
- name: 23.11
|
||||||
|
value: release-23.11
|
||||||
|
- name: 23.05
|
||||||
|
value: release-23.05
|
||||||
|
- name: 22.11
|
||||||
|
value: release-22.11
|
||||||
|
|
||||||
custom_head_scripts: |
|
custom_head_scripts: |
|
||||||
<script async src="https://umami.pimsnel.com/script.js" data-website-id="8e970d59-b517-4ba6-9b92-207e7dbdb4b1"></script>
|
<script async src="https://umami.pimsnel.com/script.js" data-website-id="8e970d59-b517-4ba6-9b92-207e7dbdb4b1"></script>
|
||||||
<script async src="https://media.ethicalads.io/media/client/ethicalads.min.js"></script>
|
<script async src="https://media.ethicalads.io/media/client/ethicalads.min.js"></script>
|
||||||
@ -24,6 +36,7 @@ params:
|
|||||||
repo: home-manager-option-search
|
repo: home-manager-option-search
|
||||||
user: mipmip
|
user: mipmip
|
||||||
show_count: true
|
show_count: true
|
||||||
|
show_text: false
|
||||||
|
|
||||||
main_menu:
|
main_menu:
|
||||||
|
|
||||||
|
@ -44,7 +44,7 @@
|
|||||||
{{with .Site.Params.github }}
|
{{with .Site.Params.github }}
|
||||||
<li style="margin-left:9px;padding-top:14px;">
|
<li style="margin-left:9px;padding-top:14px;">
|
||||||
<iframe
|
<iframe
|
||||||
src="https://ghbtns.com/github-btn.html?user={{ .user}}&repo={{.repo}}&type=star&count={{.show_count}}&text=true"
|
src="https://ghbtns.com/github-btn.html?user={{ .user}}&repo={{.repo}}&type=star&count={{.show_count}}&text={{.show_text}}"
|
||||||
style="width:101px;"
|
style="width:101px;"
|
||||||
frameborder="0" scrolling="0" width="150" height="20" title="GitHub"></iframe>
|
frameborder="0" scrolling="0" width="150" height="20" title="GitHub"></iframe>
|
||||||
</li>
|
</li>
|
||||||
@ -88,19 +88,13 @@
|
|||||||
</div>
|
</div>
|
||||||
<div class="form-group">
|
<div class="form-group">
|
||||||
<label for="release">
|
<label for="release">
|
||||||
Home Manager release
|
{{ .Site.Params.release_switch_title }}
|
||||||
</label>
|
</label>
|
||||||
<select id="releaseSelect">
|
<select id="releaseSelect">
|
||||||
<option value="master">unstable</option>
|
{{ range .Site.Params.releases }}
|
||||||
<option value="release-23.11">23.11</option>
|
<option value="{{.value}}">{{.name}}</option>
|
||||||
<option value="release-23.05">23.05</option>
|
{{end}}
|
||||||
<option value="release-22.11">22.11</option>
|
|
||||||
</select>
|
</select>
|
||||||
<!--
|
|
||||||
<label for="advcheck">
|
|
||||||
search options
|
|
||||||
<input id="advcheck" type="checkbox" data-toggle="collapse" data-target="#advanced" />
|
|
||||||
-->
|
|
||||||
</div>
|
</div>
|
||||||
</form>
|
</form>
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user