[ale] php-cli text input

[ale at spinnerdog.com (David Hamm)]

Never mind.  I found what I needed.

thanks

On Thursday, November 17, 2011 04:07:41 pm David Hamm wrote:
> Hi,
> 
> In php-cli, I'm looking for a way to allow a terminal user to edit a file
> name before saving it.  The program should prompt the user like this.
> 
> Save file as:  yourfile.txt
> 
> And the user should be able to edit the name of the file.
> 
> I've looked at readline() but readline doesn't let you set an
> initial/default value.  I've also tried to find a way to push the default
> value into the keyboard buffer but no luck.
> 
> Does anyone have any ideas?
> _______________________________________________
> Ale mailing list
> Ale at ale.org
> http://mail.ale.org/mailman/listinfo/ale
> See JOBS, ANNOUNCE and SCHOOLS lists at
> http://mail.ale.org/mailman/listinfo