I have an Ansible playbook which is supposed to replace some characters using stream editor. sed -i "s+foo+$(<replace_file)+g" some_file or sed -i "s/foo/$(<replace_file)/g" some_file cat some_file line one: foo cat replace_file bar expected result line one: bar actual result line…
Update: by redirecting stderr from php exec, I can now see that running maxima produces a segmentation fault, increasing the likelihood that this is in fact a bug. Important note: this used to work perfectly on older versions of PHP/Ubuntu.…
If relevant I have GNU awk V 3.1.6 downloaded directly from GNU pointed source in sourceforge. I am getting a page of URLs using wget for windows. After prcoessing the incoming file, I reduce it to single line, from which…