Closed tacman closed 4 years ago
Otherwise, the 'copy' includes the $, and the user can't simply paste it to the command line.
Hmm, I see that this is inconsistent with the rest of the documentation. Maybe the js script that creates the "copy" can remove the $ for bash code?
Otherwise, the 'copy' includes the $, and the user can't simply paste it to the command line.