mirror
/
mongo
mirror of https://github.com/mongodb/mongo
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

SERVER-110775 Add shebang to workstation setup scripts (#41128) 

GitOrigin-RevId: 0b7f1f7f6227bf8b5a8f015ef263bf32e4de7b60
This commit is contained in:
Pierre Turin 2025-09-12 01:06:15 -07:00 committed by MongoDB Bot
parent 70b5b3d5b9
commit 6a2fcd26e2
2 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
etc/set_up_workstation.sh
View File

@ -1,3 +1,5 @@
#! /bin/bash
silent_grep() { silent_grep() {
command grep -q "$@" >/dev/null 2>&1 command grep -q "$@" >/dev/null 2>&1
} }

2
evergreen/check_workstation_setup.sh
View File

@ -1,3 +1,5 @@
#! /bin/bash
failed_setup=false failed_setup=false
source ~/.bashrc source ~/.bashrc