<p>It's customary to share the solution so that you are a contributor to the community, not just a consumer. Imagine how frustrating it will be when our mailman archive turns up as a Google search result for some other person having the same problem, and instead of finding the answer they just get teased with the fact that you found it and didn't share.</p>
<div class="gmail_quote">On Nov 17, 2011 8:07 PM, "David Hamm" <<a href="mailto:ale@spinnerdog.com">ale@spinnerdog.com</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Never mind. I found what I needed.<br>
<br>
thanks<br>
<br>
On Thursday, November 17, 2011 04:07:41 pm David Hamm wrote:<br>
> Hi,<br>
><br>
> In php-cli, I'm looking for a way to allow a terminal user to edit a file<br>
> name 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<br>
> initial/default value. I've also tried to find a way to push the default<br>
> value into the keyboard buffer but no luck.<br>
><br>
> Does anyone have any ideas?<br>
> _______________________________________________<br>
> Ale mailing list<br>
> <a href="mailto:Ale@ale.org">Ale@ale.org</a><br>
> <a href="http://mail.ale.org/mailman/listinfo/ale" target="_blank">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" target="_blank">http://mail.ale.org/mailman/listinfo</a><br>
_______________________________________________<br>
Ale mailing list<br>
<a href="mailto:Ale@ale.org">Ale@ale.org</a><br>
<a href="http://mail.ale.org/mailman/listinfo/ale" target="_blank">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" target="_blank">http://mail.ale.org/mailman/listinfo</a><br>
</blockquote></div>