• Happenings in Gnome: Prompt terminal emulator https://blogs.gnome.org/chergert/2023/12/14/prompt/?s=09 6 comments 15/12/2023 linux