The Java Playground

Apparently there's an official Java Playground on https://dev.java/.

They are working on using the Playground in your own webpages.

It is primarily created for developers to play around with the new Java, without having to install the new java.

But it's early and they have plans for it.

References

dev.java - The Java Playground

https://dev.java/playground/

dev.java

https://dev.java/

How to Change a Git Remote

I needed to change a remote, as the ip address of the remote server had changed.

$ git remote -v
origin ssh://[email protected]:/home/mrbear/store (fetch)
origin ssh://[email protected]:/home/mrbear/store (push)

So to change it:

git remote set-url origin ssh://[email protected]:/home/mrbear/store

And it becomes:

$ git remote -v
origin ssh://[email protected]:/home/mrbear/store (fetch)
origin ssh://[email protected]:/home/mrbear/store (push)

References

CareerKarma - How to Change a Git Remote

https://careerkarma.com/blog/git-change-remote/