Extracted from Pike v8.0 release 182 as of 2016-03-26.

[Top]
Tools
Tools.Install
Tools.Install.Readline

Tools.Install.Readline()->edit_directory() Tools.Install.Readline()->set_cwd() next

Method Tools.Install.Readline()->edit_filename()

Method edit_filename: string edit_filename(mixed ... args)