Skip to content
#

github-extension

Here are 84 public repositories matching this topic...

refined-github
devhub
gnumoksha
gnumoksha commented Nov 19, 2019
$ chmod +x DevHub-0.98.5.AppImage
$ ./DevHub-0.98.5.AppImage
[74678:1119/111718.741581:FATAL:setuid_sandbox_host.cc(157)] The SUID sandbox helper binary was found, but is not configured correctly. Rather than run without sandboxing I'm aborting now. You need to make sure that /tmp/.mount_DevHubUcWLlF/chrome-sandbox is owned by root and has mode 4755.
[1]    74678 trace trap  ./D
OctoLinker
kura
kura commented Dec 28, 2017

Could you add a newline indicator too, I find them useful when used in conjunction with space/tab indicators. So you can tell if there is an annoying superfluous space/tab before the \n.

UTF-8 has several of these characters to choose from.

⤶ U+2936 ARROW POINTING DOWNWARDS THEN CURVING LEFTWARDS
↵ U+21B5 DOWNWARDS ARROW WITH CORNER LEFTWARDS
⏎ U+23CE RETURN SYMBOL
↲ U+21B2 DOWNWARDS

Improve this page

Add a description, image, and links to the github-extension topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the github-extension topic, visit your repo's landing page and select "manage topics."

Learn more

You can’t perform that action at this time.