2017-03-28 17:39:47 +00:00
|
|
|
[Desktop Entry]
|
|
|
|
|
|
2017-03-29 12:39:50 +00:00
|
|
|
Name=Micro
|
2017-03-28 17:39:47 +00:00
|
|
|
GenericName=Text Editor
|
|
|
|
|
Comment=Edit text files in a terminal
|
|
|
|
|
|
|
|
|
|
Icon=micro
|
|
|
|
|
Type=Application
|
2020-07-06 21:55:13 +00:00
|
|
|
Categories=Utility;TextEditor;Development;
|
2017-03-28 17:39:47 +00:00
|
|
|
Keywords=text;editor;syntax;terminal;
|
|
|
|
|
|
2020-07-06 21:55:13 +00:00
|
|
|
Exec=micro %F
|
2017-03-28 17:39:47 +00:00
|
|
|
StartupNotify=false
|
2017-03-29 12:39:50 +00:00
|
|
|
Terminal=true
|
2017-03-28 17:39:47 +00:00
|
|
|
MimeType=text/plain;text/x-chdr;text/x-csrc;text/x-c++hdr;text/x-c++src;text/x-java;text/x-dsrc;text/x-pascal;text/x-perl;text/x-python;application/x-php;application/x-httpd-php3;application/x-httpd-php4;application/x-httpd-php5;application/xml;text/html;text/css;text/x-sql;text/x-diff;
|
