Issue 438: "plan" script does not function when target of symlink - Fast Downward issue tracker

Title	"plan" script does not function when target of symlink
Priority	feature	Status	resolved
Superseder		Nosy List	malte, rpgoldman
Assigned To	malte	Keywords
Optional summary

Created on 2014-05-29.05:07:39 by rpgoldman, last changed by malte.

Files
File name	Uploaded	Type	Edit	Remove
plan-symlink.patch	rpgoldman, 2014-05-29.05:07:39	application/octet-stream

Messages
msg3193 (view)	Author: malte	Date: 2014-05-29.12:33:55
Thanks very much! Merged. (I've used "$0" instead of "$BASH_SOURCE" for consistency with the other scripts we have.)
msg3192 (view)	Author: rpgoldman	Date: 2014-05-29.05:07:39
I tried linking fast-downward/src/plan to ~/bin/fast-downward, and the script failed to work. The code that sets BASEDIR in the script doesn't consider the possibility that the script file will be a symlink. I believe that the attached patch fixes this correctly (it works for me).

History
Date	User	Action	Args
2014-05-29 12:33:55	malte	set	status: unread -> resolved assignedto: malte messages: + msg3193
2014-05-29 05:07:39	rpgoldman	create