Issue 440: "plan" script doesn't work properly with 10-19 options - Fast Downward issue tracker

Title	"plan" script doesn't work properly with 10-19 options
Priority	bug	Status	resolved
Superseder		Nosy List	furushchev, malte
Assigned To	malte	Keywords
Optional summary

Created on 2014-06-10.16:27:51 by furushchev, last changed by malte.

Files
File name	Uploaded	Type	Edit	Remove
patch.txt	furushchev, 2014-06-10.16:27:51	text/plain

Messages
msg3206 (view)	Author: furushchev	Date: 2014-06-12.04:02:55
I changed the second change just on my policy. It doesn't matter. Anyway, it works awesome. Thank you a lot.
msg3205 (view)	Author: malte	Date: 2014-06-10.17:21:49
I fixed the "<" vs. "-lt" comparison, but the second change in the patch looks gratuitous to me. According to the bash man page, input redirection can be specified everywhere within the command. If you think this should be changed, can you explain why?
msg3204 (view)	Author: furushchev	Date: 2014-06-10.16:27:51
I tried to use src/plan, but it doesn't work because shell script is pretty wrong. I made a patch for this problem. This downward is so good tool, that I wish it will be fixed ASAP. Thanks

History
Date	User	Action	Args
2014-06-12 09:48:27	malte	set	status: chatting -> resolved
2014-06-12 04:02:55	furushchev	set	status: resolved -> chatting messages: + msg3206
2014-06-10 17:21:50	malte	set	status: unread -> resolved title: bug shell script for option in plan -> "plan" script doesn't work properly with 10-19 options nosy: + malte messages: + msg3205 priority: urgent -> bug assignedto: malte
2014-06-10 16:27:51	furushchev	create