This repository has been archived by the owner on Aug 19, 2022. It is now read-only.
forked from larryk85/DUNE
-
Notifications
You must be signed in to change notification settings - Fork 3
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
resolves #4 DUNE doesn't work on MacOS/Darwin
- Loading branch information
1 parent
3fee825
commit bfb9678
Showing
2 changed files
with
8 additions
and
3 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,9 @@ | ||
#! /usr/bin/bash | ||
#!/usr/bin/env bash | ||
|
||
SDIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd ) | ||
docker build --build-arg USER_ID=$(id -u ${USER}) --build-arg GROUP_ID=$(id -g ${USER}) -t dune $SDIR | ||
GROUP_ID=$(id -g ${USER}) | ||
# for mac users | ||
if [[ $(uname) == "Darwin" ]]; then | ||
GROUP_ID=200 | ||
fi | ||
docker build --build-arg USER_ID=$(id -u ${USER}) --build-arg GROUP_ID=${GROUP_ID} -t dune $SDIR |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
#! /usr/bin/bash | ||
#!/usr/bin/env bash | ||
|
||
SDIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd ) | ||
python3 $SDIR/src/dune $@ |