package eio
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=7d70d1f5fb2b7190bf1ab28fffeb272da51ffe6d6c9c7c94e0485fabdf3b3fda
sha512=4582ac2fb2f8616b3d8ae9670eb7913a78085899b14044408801b30a34fed6c4d32971ba72eedb0cbc3d82c057610cf81c482090e75e2985330fcde96478ac5e
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.