package eio
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=ba11ad486f492130dbb486f2b3bdc4905643f10016806ddf86e9a34e4346aaa5
sha512=57ef2c137ccdc26d8029e636b6a4ee92da7c6b2f35954946bd56ca595d6947a8ec42f6f83f8552f73d6719e6ce2314cae2e2fad1686a387522935e6f90e9a8d9
doc/eio.unix/Eio_unix/Pty/index.html
Module Eio_unix.PtySource
Creating and controlling pseudoterminals.
Pseudoterminal (PTY) support.
A pseudoterminal is a pair of connected file descriptors emulating a terminal. The pseudoterminal device is used by a controlling program such as a terminal emulator, while the terminal device is used by a child process as its controlling terminal.
A connected pseudoterminal pair.
source t reads the output the child writes to terminal.
sink t writes input for the child to read from its terminal.
type winsize = {rows : int;(*Height of the terminal in character rows.
*)cols : int;(*Width of the terminal in character columns.
*)xpixel : int;(*Width in pixels (
*)0if unknown).ypixel : int;(*Height in pixels (
*)0if unknown).
}Terminal window dimensions.
get_window_size fd returns the window size of terminal fd.
set_window_size fd ws sets the window size of terminal fd.
Setting it on the pty end updates the terminal and delivers SIGWINCH to the foreground process group attached to the terminal.