invalid cross-device link. Get it here:

[rasoso]

Hi!

Thanks for ah!

Got this error message on linux:
"Cannot save trace: rename /tmp/ah193667227 /home//.ah/traces/39bdec46c4709dc800a82c8c163357a4: invalid cross-device link. Get it here: /tmp/ah193667227"

/home and /tmp are on different devices.

That's EXDEV for rename(2):
"EXDEV oldpath and newpath are not on the same mounted filesystem."

Is it possible to change the directory for temporary files from /tmp to /home, or other workaround?

[9seconds]

Sure. Will fix it pretty quick.

[9seconds]

Hi, @rasoso could you please check that it works now?
https://www.dropbox.com/sh/d4vpkc8rh617ctl/AACDBH9KFJdsFgI6cXwepkgTa?dl=0

[rasoso]

tested it ok by updating from repo (to a0cf1de) and recompiling it.

Thanks, that was quick indeed.

Is it possible to change defaultTmpDir , for example in order to use in-memory tmpfs rather than disk without having to recompile?

[rasoso]

More details about the test:

• no more error message (ok)
• trace is moved from ~/.ah/tmp/ to ~/.ah/traces/ (ok)
• trace is removed from ~/.ah/traces/ (ok?)

[9seconds]

No, it is not ok (last step of the test). Please check the master.

Also, I have added an argument -m which allows you to set a temporary directory to work with. I think it is better to default to good old /tmp and give a possibility to set temporary directory explicitly if it won't work with one's setup for some reasons.

[9seconds]

I close this issue if it is ok. $HOME and /tmp on the same mount point looks reasonable default for me since it is default for Ubuntu and OS X, and after some thoughts I do not really want to use another temporary directory. But of course I am open for discussion of any kind!