AI-Planning / planutils

General library for setting up linux-based environments for developing, running, and evaluating planners.
MIT License
103 stars 30 forks source link

Improved scripting #121

Closed nilsjor closed 1 year ago

nilsjor commented 1 year ago

Hello again ;) Reconnecting to the discussion we had here. I am proposing minor changes to improve the quality of scripting with planutils.

This PR will do the following.

haz commented 1 year ago

Additionally, this will fix the warnings

bash: cannot set terminal process group (-1): Inappropriate ioctl for device
bash: no job control in this shell

That little thing has been a thorn in my side for ages! Nice to see it finally fall...