Skip to content

Instantly share code, notes, and snippets.

@briankung

briankung/PlayRustBookmarklet.js

Created June 27, 2019 21:40
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save briankung/905f4aee79483ab3a8d7f85f1d5a88c5 to your computer and use it in GitHub Desktop.
Save briankung/905f4aee79483ab3a8d7f85f1d5a88c5 to your computer and use it in GitHub Desktop.
Download ZIP
Play Rust! Copies selected text into the Rust playground at https://play.rust-lang.org/
Raw
PlayRustBookmarklet.js
javascript:void(
(function() {
window.open(
`https://play.rust-lang.org/?code=${encodeURIComponent(
window.getSelection().toString()
)}`,
"_blank"
);
})();
)
// Minified for easy drag 'n drop to bookmark toolbar:
javascript:void(window.open(`https://play.rust-lang.org/?code=${encodeURIComponent(window.getSelection().toString())}`,"_blank");)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment