<html><head></head><body>Set the default value, and prompt the user using a prompt that indicates the default, such as:<br>
<br>
Save file as? [yourfile.txt] _<br>
<br>
Which works well in that type of environment. If you want to get fancier, you can, but you will be doing more mucking about with the terminal to do what you want.<br>
-- <br>
Sent from my Kindle Fire.<br><br><div class="gmail_quote">David Hamm <ale@spinnerdog.com> wrote:<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<pre style="white-space: pre-wrap; word-wrap:break-word; font-family: monospace">Hi,<br /><br />In php-cli, I'm looking for a way to allow a terminal user to edit a file name <br />before saving it. The program should prompt the user like this.<br /><br />Save file as: yourfile.txt<br /><br />And the user should be able to edit the name of the file.<br /><br />I've looked at readline() but readline doesn't let you set an initial/default <br />value. I've also tried to find a way to push the default value into the <br />keyboard buffer but no luck. <br /><br />Does anyone have any ideas?<br /><hr /><br />Ale mailing list<br />Ale@ale.org<br /><a href="http://mail.ale.org/mailman/listinfo/ale">http://mail.ale.org/mailman/listinfo/ale</a><br />See JOBS, ANNOUNCE and SCHOOLS lists at<br /><a href="http://mail.ale.org/mailman/listinfo">http://mail.ale.org/mailman/listinfo</a><br /></pre></blockquote></div></body></html>