Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.lang.java.programmer > #39022

Re: Where does jshell save things

Path csiph.com!aioe.org!.POSTED.O5hsyUvK01te0L/SZurVSQ.user.gioia.aioe.org!not-for-mail
From Arne Vajhøj <arne@vajhoej.dk>
Newsgroups comp.lang.java.programmer
Subject Re: Where does jshell save things
Date Mon, 29 Jul 2019 19:54:17 -0400
Organization Aioe.org NNTP Server
Lines 13
Message-ID <qho0v8$2j4$1@gioia.aioe.org> (permalink)
References <87lfwgoeez.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 7bit
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
X-Notice Filtered by postfilter v. 0.9.2
Content-Language en-US
Xref csiph.com comp.lang.java.programmer:39022

Show key headers only | View raw


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

Arne

Back to comp.lang.java.programmer | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread


Thread

Where does jshell save things Cecil Westerhof <Cecil@decebal.nl> - 2019-07-29 20:59 +0200
  Re: Where does jshell save things Arne Vajhøj <arne@vajhoej.dk> - 2019-07-29 19:54 -0400
    Re: Where does jshell save things Cecil Westerhof <Cecil@decebal.nl> - 2019-07-30 07:28 +0200
      Re: Where does jshell save things Eric Sosman <esosman@comcast-dot-net.invalid> - 2019-07-30 07:11 -0400
      Re: Where does jshell save things Arne Vajhøj <arne@vajhoej.dk> - 2019-07-30 20:04 -0400

csiph-web