GP as favorite in Ubuntu 17.10

Jack Fearnley on Sat, 11 Nov 2017 22:31:31 +0100

GP as favorite in Ubuntu 17.10

To: pari-users@pari.math.u-bordeaux.fr
Subject: GP as favorite in Ubuntu 17.10
From: Jack Fearnley <jack@algol.concordia.ca>
Date: Sat, 11 Nov 2017 16:31:22 -0500
Delivery-date: Sat, 11 Nov 2017 22:31:31 +0100
Reply-to: jack.fearnley@concordia.ca
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.4.0

I would like to make my GP session a clickable icon in the latestrelease (17.10) of Ubuntu.

I realize that this is somewhat off topic for this group, but it wouldbe a great help if someone here knew how.


Best Regards,
                     Jack Fearnley

Follow-Ups:
- Re: GP as favorite in Ubuntu 17.10
  - From: carl hansen <carlhansen1234@gmail.com>