Fwd: [fricas/fricas] debian packaging (#2)

[Ralf Hemmecke]

Since github is not yet the official FriCAS repository, maybe not every
has receive that message.

Ralf

-------- Forwarded Message --------
Subject: [fricas/fricas] debian packaging (#2)
Date: Thu, 01 Mar 2018 10:44:31 +0000 (UTC)
From: Alex <notifi...@github.com>
Reply-To: fricas/fricas
<reply+0072b036f2601d3375bb48216054b10458f5b5d...@reply.github.com>
To: fricas/fricas <fri...@noreply.github.com>
CC: Subscribed <subsc...@noreply.github.com>



maybe we can use this ticket to coordinate the debian packaging?

https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=570362
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=570366
are merged, but archived:

bts unarchive 570362
bts retitle 570362 "ITP: fricas -- an advanced computer algebra system"

need be run to let know others the one running these commands will do
the packaging...

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub
<https://github.com/fricas/fricas/issues/2>, or mute the thread
<https://github.com/notifications/unsubscribe-auth/AHKwNtXx0fOUKwmo1k9fnwbScu4c0EKDks5tZ9EOgaJpZM4SYGhP>.

[Ralf Hemmecke]

I found this message still in my mailbox.

Recently I wanted to make my HyperDoc window appear in a readable
fontsize on a 4K display. This is what I use.

FriCAS.hyperdoc.Geometry: =1500x800+0+0
FriCAS.hyperdoc.RmFont: -adobe-courier-bold-r-*-*-34-*-*-*-*-*-*-*
FriCAS.hyperdoc.RmColor: black
FriCAS.hyperdoc.ActiveFont: -adobe-courier-bold-r-*-*-34-*-*-*-*-*-*-*
FriCAS.hyperdoc.ActiveColor: blue
FriCAS.hyperdoc.FriCASFont: -adobe-courier-bold-r-*-*-34-*-*-*-*-*-*-*
FriCAS.hyperdoc.FriCASColor: #008000
FriCAS.hyperdoc.BoldFont: -adobe-courier-bold-r-*-*-34-*-*-*-*-*-*-*
FriCAS.hyperdoc.BoldColor: red
FriCAS.hyperdoc.TtFont: -adobe-courier-bold-r-*-*-34-*-*-*-*-*-*-*
FriCAS.hyperdoc.TtColor: black
FriCAS.hyperdoc.EmphasizeFont: -adobe-courier-bold-r-*-*-34-*-*-*-*-*-*-*
FriCAS.hyperdoc.EmphasizeColor: #800080
FriCAS.hyperdoc.InputBackground: #FFFF80
FriCAS.hyperdoc.InputForeground: black
FriCAS.hyperdoc.BorderColor: black
FriCAS.hyperdoc.Background: white

Ralf

On 6/19/20 1:54 AM, R. Bernstein wrote:
>> if someone can test it?
>
> I tried downloading on Ubuntu Ermine. No dice.
>
> I didn't have a problem building it from the git clone though (aside from the myriad warnings and it taking a long time to build).
>
> ```
> $ sudo dpkg -i fricas_1.3.5-1_amd64.deb
> Selecting previously unselected package fricas.
> (Reading database ... 602799 files and directories currently installed.)
> Preparing to unpack fricas_1.3.5-1_amd64.deb ...
> Unpacking fricas (1.3.5-1) ...
> Setting up fricas (1.3.5-1) ...
> Processing triggers for man-db (2.8.7-3) ...
> $ /usr/bin/fricas
> (HyperDoc) Cannot load font -adobe-courier-medium-r-normal--18-*-*-*-m-*-iso8859-1 ; using default.
> (HyperDoc) Cannot load font -adobe-courier-medium-r-normal--18-*-*-*-m-*-iso8859-1 ; using default.
> (HyperDoc) Cannot load font -adobe-courier-medium-r-normal--18-*-*-*-m-*-iso8859-1 ; using default.
> (HyperDoc) Cannot load font -adobe-courier-bold-r-normal--18-*-*-*-m-*-iso8859-1 ; using default.
> (HyperDoc) Cannot load font -adobe-courier-bold-o-normal--18-*-*-*-m-*-iso8859-1 ; using default.
> (HyperDoc) Cannot load font -adobe-courier-medium-o-normal--18-*-*-*-m-*-iso8859-1 ; using default.
> (HyperDoc) Cannot load font -adobe-courier-bold-r-normal--18-*-*-*-m-*-iso8859-1 ; using default.
> $
> ```
>
> Yeah, I'm aware that there is some magic I need to do to remove the font warnings above, but honestly I haven't found any fonts that look significantly better and it doesn't look like Hyperdoc supports Type1 or TTF fonts. IMHO if it did, this would go a long way towards improving the experience.
>