mirror of
https://github.com/MarlinFirmware/Marlin.git
synced 2025-08-10 15:25:07 -06:00
🧑💻 Fix and improve build_all_examples
This commit is contained in:
parent
edeea5a6fb
commit
3b4c759872
7 changed files with 117 additions and 23 deletions
|
@ -17,7 +17,7 @@ BRANCH=${INFO[5]}
|
|||
|
||||
opensite() {
|
||||
URL="http://127.0.0.1:4000/"
|
||||
OPEN=$(echo $(which gnome-open xdg-open open) | awk '{ print $1 }')
|
||||
OPEN=$( which gnome-open xdg-open open | head -n1 )
|
||||
if [ -z "$OPEN" ]; then
|
||||
echo "Can't find a tool to open the URL:"
|
||||
echo $URL
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue