sanitizers / patchback-github-app

https://github.com/apps/patchback
GNU General Public License v3.0
12 stars 4 forks source link

Allow easy copy-paste of manual backporting steps #28

Open rochacbruno opened 2 years ago

rochacbruno commented 2 years ago

I notice that when manual backport is needed the copy-paste of the command using the "copy" icon will include the leading $ which is not desired, for a quick run I suggest removing those from the instructions leaving just the bare command.

Screenshot_2022-08-18_11-55-20

Before: $ git remote add upstream https://github.com/ansible/galaxy_ng.git -> zsh: command not found: $

Now: git remote add upstream https://github.com/ansible/galaxy_ng.git

rochacbruno commented 2 years ago

You mean this?

Using console and $

$ pwd
/

no $

pwd
/

I think the github comment lexer doesn't differentiate this

webknjaz commented 2 years ago

This is the lexer that is supposed to be used: https://pygments.org/docs/lexers/#pygments.lexers.shell.BashSessionLexer.

The difference is that it'll try to only use highlighting on the prompt-lines but not the output:

$ echo "Hi there ${USER}"
Hi there wk