Skip to content
This repository was archived by the owner on Feb 10, 2022. It is now read-only.

Commit 52abaf3

Browse files
committed
fix lineage wiki segment of build
1 parent 40a7c73 commit 52abaf3

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

Q_Builder.sh

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -67,7 +67,7 @@ while true; do
6767
done
6868

6969
# check to see if git is configured, if not prompt user
70-
if [ "$(git config --list)" != *"user.email"* ]
70+
if [ "$(git config --list)" != *"user.email"* ];
7171
then
7272
read -p "Enter your git email address: " GITEMAIL
7373
read -p "Enter your name: " GITNAME
@@ -84,7 +84,7 @@ then
8484
cd $BUILDBASE
8585

8686
# check for platform tools in PATH, add if missing
87-
if ! grep -q "PATH=\"$HOME/platform-tools:$PATH\"" "~/.profile" ;
87+
if [ ! grep -q "PATH=\"$HOME/platform-tools:$PATH\"" ~/.profile ];
8888
then
8989
echo "if [ -d \"$HOME/platform-tools\" ] ; then" >> ~/.profile
9090
echo " PATH=\"$HOME/platform-tools:$PATH\"" >> ~/.profile
@@ -98,7 +98,7 @@ then
9898
chmod a+x $BUILDBASE/bin/repo
9999

100100
# check for bin in PATH, add if missing
101-
if [ ! grep -q "PATH=\"$HOME/bin:$PATH\"" "~/.profile" ];
101+
if [ ! grep -q "PATH=\"$HOME/bin:$PATH\"" ~/.profile ];
102102
then
103103
echo "if [ -d \"$HOME/bin\" ] ; then" >> ~/.profile
104104
echo " PATH=\"$HOME/bin:$PATH\"" >> ~/.profile

0 commit comments

Comments
 (0)