I am guessing that the correct entries in the /etc/mime.types file would be
application/minsky+xml mky
text/mky mky
I found a largely incomprehensible document explaining mime types but this cookbook answer appears to be correct. The .deb package in opensuse package builder should add these entries to the /etc/mime.types file.
I'll be sending a draft minsky.desktop file and a proposed icon/logo to allow an icon to appear in the Favourites panel and in the Applications panel, allowing Minsky to be launched with a double-click on Debian and Ubuntu.
Regards,
Hedley
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
I have figured out that the mime-type entries for Minsky in /etc/mime.types should be
application/minsky+xml mky // app
text/mky+xml mky //documents
Have also figured out creating icons for the app (application-minsky+xml.XXX) and documents (text-mky+xml.XXX), where XXX is a placeholder for png, svg, jpg, gif, etc.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Ubuntu 18.04.5 LTS Bionic Beaver
I am guessing that the correct entries in the /etc/mime.types file would be
I found a largely incomprehensible document explaining mime types but this cookbook answer appears to be correct. The .deb package in opensuse package builder should add these entries to the /etc/mime.types file.
I'll be sending a draft minsky.desktop file and a proposed icon/logo to allow an icon to appear in the Favourites panel and in the Applications panel, allowing Minsky to be launched with a double-click on Debian and Ubuntu.
Regards,
Hedley
Ubuntu and Linux generally:
I have figured out that the mime-type entries for Minsky in /etc/mime.types should be
application/minsky+xml mky // app
text/mky+xml mky //documents
Have also figured out creating icons for the app (application-minsky+xml.XXX) and documents (text-mky+xml.XXX), where XXX is a placeholder for png, svg, jpg, gif, etc.