package eio
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=c1f04986b401094176494863dde1ca9b292b59fdc679a9d7023e558d80fb5b15
sha512=92ed8cf20300b8a4e0141bdbc373c0803c5a24530cb65852637d905fff4a5b956a8859a00a424034ff78c1112da9b0391194bcd558326168bdebd1ce683a8890
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.