bash: insert_string