put_line/get_line and set option ?

Original text of this message