gnome-shell-extension-ddterm icon indicating copy to clipboard operation
gnome-shell-extension-ddterm copied to clipboard

Published 20 hours ago • verified publisher icon ddterm

Ask for confirmation when closing a tab

Open amezin opened this issue 5 years ago • 3 comments

At least if there are more processes than just the shell

amezin avatar Oct 08 '20 04:10 amezin

It seems that rewriting Gnome Terminal's foreground process detection in Gjs isn't possible (or maybe there is something like ctypes in gjs?): https://gitlab.gnome.org/GNOME/gnome-terminal/-/blob/master/src/terminal-screen.c#L2218

amezin avatar Oct 11 '20 05:10 amezin

Actually, tcgetpgrp seems to be the only function necessary. However, there is no introspectable wrapper for it.

js-ctypes looked promising https://developer.mozilla.org/en-US/docs/Mozilla/js-ctypes , but there is no ctypes global in gjs:

gjs> ctypes
typein:1:1 ReferenceError: ctypes is not defined
  @typein:1:1
  @<stdin>:1:42

amezin avatar Oct 11 '20 05:10 amezin

https://gitlab.gnome.org/GNOME/vte/-/issues/327

amezin avatar Feb 02 '21 10:02 amezin