Gestionnaire de fichiers - Editer - /usr/share/gems/gems/io-console-0.4.2/lib/io/console/size.rb
Arrière
def IO.default_console_size [ ENV["LINES"].to_i.nonzero? || 25, ENV["COLUMNS"].to_i.nonzero? || 80, ] end begin require 'io/console' rescue LoadError class IO alias console_size default_console_size end else def IO.console_size console.winsize rescue NoMethodError default_console_size end end
| ver. 1.4 |
Github
|
.
| PHP 8.0.30 | Génération de la page: 0 |
proxy
|
phpinfo
|
Réglages