Hedley Finger

Rob: Apologies for empty message. I was just starting to compose it when I decided to try one more Google. The problem is that somehow libmapnik3 and libmapnik-dev have a dependency problem caused by a versioning mismatch. The solution was sudo aptitude install libmapnik-dev and to answer each question so as to steer the process towards a versioning rollback which then allows installation. I ran ./configure without incident, make and finally sudo make install. I am now the proud owner of Viking 1.9!...

Thanks Rob. Previously I installed from Ubuntu repositories but I wanted the new features Right Now! Will install the deb packages right now! Regards, Hedley On Wed, 24 Mar 2021 07:55 Rob Norris robbieonsea@users.sourceforge.net wrote: The critical bit is checking for curl-config... no curl-config is in the package libcurl4-gnutls-dev (or libcurl4-openssl-dev ) so you'll need to install one of those. i..e to build against the Curl library, we need the Curl library development files (not just the...

Ubuntu 20.04 Focal Fossa LTS I have downloaded the Viking 1.9 tarball and started the compilation process but can't get past running ./configure. Error messages indicate that libcurl is not installed but both libcurl3and libcurl4 are installed. ~/Downloads/Viking/viking-1.9 $ curl curl: try 'curl --help' or 'curl --manual' for more information ... $ which curl /usr/bin/curl ... $ whereis curl curl: /usr/bin/curl /usr/share/man/man1/curl.1.gz ... $ whereis libcurl libcurl: /usr/share/man/man3/libcurl.3.gz...

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.

Steve: The developers of LyX decided to 'improve' Latex, so it is not compatible. The Atom editor has a LaTeX plugin. It also has neurosurgery. You can also get a plugin for HTML and other programming languages. Regards, Hedley 1 / 17 Glyndon Road, Camberwell VIC 3124, Australia hedley.finger@gmail.com Tel. +61 3 9836 4635 Cell +61 412 461 558 Typed laboriously on Samsung Galaxy Note 3 On Sun, 6 Sep 2020 16:56 Steve Keen profstevekeen@users.sourceforge.net wrote: Excellent! I didn't expect that this...

The *.desktop file provides a clickable desktop icon for launching Minsky.

Whoops! Also have to make a minsky.desktop file and place it in /usr/share/applications/ .

I want to tweak the app icon to make it look like a glassy button. Make a document button. Export them as .png files at 72 and 96 ppi, and at multiples and submultiples for Ubuntu, Debian, Mint, and other *ubuntu's, etc. Tweak *.png files with a pixmap editor. Place the *.png files in a /usr/share/icons/hicolor/??x??/apps/ tree, where ??x?? are the multiples and submultiples. Place the *.svg file in /usr/share/icons/hicolor/scalable/apps/ . Finally, I have to concatenate the *.png files to make an...