Skip to content
This repository has been archived by the owner on Sep 8, 2024. It is now read-only.

Update dev_setup.sh to use and benefit from bash double square bracket syntax #2166

Merged
merged 4 commits into from
Jun 25, 2019
Merged

Update dev_setup.sh to use and benefit from bash double square bracket syntax #2166

Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
ef7e72c
Update dev_setup.sh to use and benefit from bash double square bracke…
MichaIng Jun 18, 2019
4c4ebce
Bash coding tuning
MichaIng Jun 24, 2019
5725359
Merge branch 'dev' into patch-1
MichaIng Jun 24, 2019
0867a8c
Apply coding style to new package install prints as well
MichaIng Jun 24, 2019
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading