Terminal changes between Ubuntu versions

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

Terminal changes between Ubuntu versions

Augusto Noronha
Hi everyone,

I'm investigating a bug in the Swift language's REPL. Basically, some
characters (like brackets and colons) aren't displayed correctly after
the first line, and backspaces fail to clear input on the terminal.

On Ubuntu, this bug happens on version 20.04 and 20.10, but it doesn't
happen in 18.04. It also happens in other distros, like Fedora. This
leads me to believe that this either is a bug on Swift's side, which
just wasn't being manifested, or a bug on some dependency Ubuntu uses to
power the terminal.

Does anyone know if the terminal had any dependency changes between
18.04 and the other versions?

Regards,
Augusto Noronha


--
ubuntu-devel mailing list
[hidden email]
Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel
Reply | Threaded
Open this post in threaded view
|

Re: Terminal changes between Ubuntu versions

Daniel van Vugt
Augusto,

There are some off-by-one pixel rendering bugs in mutter (gnome-shell) at the
moment, which can occur inside app windows and might be related. Please report a
bug by running:

   ubuntu-bug gnome-shell

and attach a screenshot of the problem to it.

- Daniel


On 30/12/20 6:43 pm, Augusto Noronha wrote:

> Hi everyone,
>
> I'm investigating a bug in the Swift language's REPL. Basically, some characters
> (like brackets and colons) aren't displayed correctly after the first line, and
> backspaces fail to clear input on the terminal.
>
> On Ubuntu, this bug happens on version 20.04 and 20.10, but it doesn't happen in
> 18.04. It also happens in other distros, like Fedora. This leads me to believe
> that this either is a bug on Swift's side, which just wasn't being manifested,
> or a bug on some dependency Ubuntu uses to power the terminal.
>
> Does anyone know if the terminal had any dependency changes between 18.04 and
> the other versions?
>
> Regards,
> Augusto Noronha
>
>

--
ubuntu-devel mailing list
[hidden email]
Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel