starred/micro-editor.github.io
1
0
Fork 0
mirror of https://github.com/micro-editor/micro-editor.github.io.git synced 2026-08-24 02:24:25 -05:00
Code Issues Packages Projects Releases Wiki Activity

index: Slightly adjusted star link and installation instructions

Browse Source 
This looks a bit better in case the GitHub star button isn't displayed due to
used adblocker.
This commit is contained in:
Jöran Karl
2026-01-23 21:17:01 +01:00
parent c6930cc67a
commit 1225fb6d63
1 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
index.html
+5 -2
View File
@@ -60,8 +60,11 @@
<p style="font-weight:bold;" class="lead heading">micro</p>
<p class="lead">a modern and intuitive terminal-based text editor</p>
<p><a class="btn btn-lg btn-success" href="https://github.com/micro-editor/micro/releases/latest" role="button">Download</a></p>
<a class="github-button" href="https://github.com/micro-editor/micro" data-size="large" data-show-count="true" aria-label="Star micro-editor/micro on GitHub">Star</a>
<p><a style='font-size: 16px;' href="https://github.com/micro-editor/micro#installation">See detailed installation instructions</a></p>
<p>
<a style='font-size: 16px;' class="github-button" href="https://github.com/micro-editor/micro" data-size="large" data-show-count="true" aria-label="Star micro-editor/micro on GitHub">Star</a>
<br>
<a style='font-size: 16px;' href="https://github.com/micro-editor/micro#installation">See detailed installation instructions</a>
</p>
<p>Third party <i>pipe to shell</i> script (<b>not under the control of micro</b>):</p>
<pre style="max-width:20em;clear:both;text-align:center;margin:0 auto"><code id="selectable" onclick="selectText(this)">curl https://getmic.ro | bash</code></pre>
</div>