Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.java.programmer > #39024
| Path | csiph.com!eternal-september.org!feeder.eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail |
|---|---|
| From | Eric Sosman <esosman@comcast-dot-net.invalid> |
| Newsgroups | comp.lang.java.programmer |
| Subject | Re: Where does jshell save things |
| Date | Tue, 30 Jul 2019 07:11:44 -0400 |
| Organization | A noiseless patient Spider |
| Lines | 16 |
| Message-ID | <qhp8li$n76$1@dont-email.me> (permalink) |
| References | <87lfwgoeez.fsf@munus.decebal.nl> <qho0v8$2j4$1@gioia.aioe.org> <87d0hsnla8.fsf@munus.decebal.nl> |
| Mime-Version | 1.0 |
| Content-Type | text/plain; charset=utf-8; format=flowed |
| Content-Transfer-Encoding | 7bit |
| Injection-Date | Tue, 30 Jul 2019 11:11:46 -0000 (UTC) |
| Injection-Info | reader02.eternal-september.org; posting-host="5879e7009a3d0a8b08b1e8cb021fddbd"; logging-data="23782"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19di+A9F9RdEkDoEi5Nwk8e" |
| User-Agent | Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101 Thunderbird/60.8.0 |
| Cancel-Lock | sha1:MN54LI0WkME6pmvQUtkTfuj1m1o= |
| In-Reply-To | <87d0hsnla8.fsf@munus.decebal.nl> |
| Content-Language | en-US |
| Xref | csiph.com comp.lang.java.programmer:39024 |
Show key headers only | View raw
On 7/30/2019 1:28 AM, Cecil Westerhof wrote:
> [...] 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.
Since you're using a Unixoid system, just construct a named
pipe that connects to an XML-to-JSON and JSON-to-XML translator.
(For "JSON," substitute your preferred format.)
Problem solved! ;-)
--
esosman@comcast-dot-net.invalid
Five hundred forty days to go.
Back to comp.lang.java.programmer | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll 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