Skip to content

Commit

Permalink
Merge pull request arduino#9291 from arduino/fix-arduino-linux-setup-…
Browse files Browse the repository at this point in the history
…shebang

Moving shebang at the top of the file
  • Loading branch information
facchinm authored Oct 10, 2019
2 parents a144887 + 9951c65 commit 0d9de02
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions build/linux/dist/arduino-linux-setup.sh
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
#!/bin/bash
# arduino-linux-setup.sh : A simple Arduino setup script for Linux systems
# Copyright (C) 2015 Arduino Srl
#
Expand Down Expand Up @@ -61,8 +62,6 @@
# + now the script checks for SUDO permissions
#

#!/bin/bash

# if [[ $EUID != 0 ]] ; then
# echo This must be run as root!
# exit 1
Expand Down

0 comments on commit 0d9de02

Please sign in to comment.