File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 6060 < p style ="font-weight:bold; " class ="lead heading "> micro</ p >
6161 < p class ="lead "> a modern and intuitive terminal-based text editor</ p >
6262 < p > < a class ="btn btn-lg btn-success " href ="https://github.com/micro-editor/micro/releases/latest " role ="button "> Download</ a > </ p >
63- < 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 > < br >
64- < 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 >
65- < p > < a style ='font-size: 16px; ' href ="https://github.com/micro-editor/micro#installation "> See detailed installation instructions</ a > </ p >
63+ < p >
64+ < 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 >
65+ < br >
66+ < a style ='font-size: 16px; ' href ="https://github.com/micro-editor/micro#installation "> See detailed installation instructions</ a >
67+ </ p >
68+ < p > Third party < i > pipe to shell</ i > script (< b > not under the control of micro</ b > ):</ p >
69+ < 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 >
6670 </ div >
6771 < hr >
6872
You can’t perform that action at this time.
0 commit comments