Graql shell crashes if a user doesn't have a home directory about typedb-console HOT 5 CLOSED

This comment was originally posted by @haikalpribadi on 2018-04-14 18:13:48+02:00.

I think we should catch this exception and tell the user they need to fix it (through an error message). @lolski @kasper-piskorski

from typedb-console.

This comment was originally posted by @lolski on 2018-04-14 23:59:36+02:00.

Agreed @haikalpribadi

from typedb-console.

This comment was originally posted by @kasper-piskorski on 2018-04-16 18:02:03+02:00.

@lolski @haikalpribadi tell user to fix it? what's wrong with having no home directory? shouldn't we instead make the history file optional?

from typedb-console.

This comment was originally posted by @haikalpribadi on 2018-04-27 23:54:15+02:00.

@kasper-piskorski If we don't need to fix it, I don't have a problem with that, Kasper. But is it possible to make the HISTORY_FILENAME optional?
@lolski

from typedb-console.

This comment was originally posted by @lolski on 2018-05-08 11:33:14+02:00.

Yes, it should be possible. Shall I create a ticket for that?

from typedb-console.