You are viewing an historical archive of past issues. Please report new issues to the appropriate project issue tracker on GitHub.

Feature request #2012: Make shell prompts not selectable in lang="shell" pre blocks

Kind feature request
Product wincent.dev
When Created , updated
Status closed
Reporter Greg Hurrell
Tags no tags

Description

none

Comments

  1. Greg Hurrell

    This will make it easier to click, drag, and copy examples like this: 

    $ ./configure
$ make test
$ sudo -s
# make install
  2. Greg Hurrell

    This was done a fair while ago but I forgot to mark it as closed.

    Closing now.

  3. Greg Hurrell

    Status changed:

    • From: new
    • To: closed
Add a comment

Comments are now closed for this issue.

Menu