Path: csiph.com!aioe.org!.POSTED.O5hsyUvK01te0L/SZurVSQ.user.gioia.aioe.org!not-for-mail
From: =?UTF-8?Q?Arne_Vajh=c3=b8j?= <arne@vajhoej.dk>
Newsgroups: comp.lang.java.programmer
Subject: Re: Where does jshell save things
Date: Tue, 30 Jul 2019 20:04:13 -0400
Organization: Aioe.org NNTP Server
Lines: 37
Message-ID: <qhqlts$dd0$1@gioia.aioe.org>
References: <87lfwgoeez.fsf@munus.decebal.nl> <qho0v8$2j4$1@gioia.aioe.org> <87d0hsnla8.fsf@munus.decebal.nl>
NNTP-Posting-Host: O5hsyUvK01te0L/SZurVSQ.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:60.0) Gecko/20100101 Thunderbird/60.8.0
Content-Language: en-US
X-Notice: Filtered by postfilter v. 0.9.2
Xref: csiph.com comp.lang.java.programmer:39037

On 7/30/2019 1:28 AM, Cecil Westerhof wrote:
> Arne Vajhøj <arne@vajhoej.dk> writes:
> 
>> On 7/29/2019 2:59 PM, Cecil Westerhof wrote:
>>> When I start jshell it remembers the history from previous runs. Where
>>> is this saved?
>>
>> I believe it uses preferences API.
>>
>> So it is OS specific.
>>
>> Windows => registry
>>
>> *nix => $HOME/.java dir
> 
> I already thought about that, but in ~/.java I saw only a fonts
> directory. Looking better there is also an .userPrefs directory.
> (First time I see a hidden directory in a hidden directory.) The file
> I need is:
>      ~/.java/.userPrefs/tool/JShell/prefs.xml
> 
> I do not like that it is XML, but it is what it is.

-Djava.util.prefs.userRoot=.

should move the file to current dir.

And:

-Djava.util.prefs.PreferencesFactory=something

should allow you to use your entirely own preferences repo.

Arne