Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
O
oh-my-zsh
Project
Project
Details
Activity
Releases
Cycle Analytics
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Issues
0
Issues
0
List
Board
Labels
Milestones
JIRA
JIRA
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Charts
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
github
oh-my-zsh
Commits
576499a5
Commit
576499a5
authored
May 21, 2019
by
Marc Cornellà
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
installer: fix for failed chsh quitting the installation
parent
a7bd1f99
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
3 additions
and
1 deletion
+3
-1
install.sh
tools/install.sh
+3
-1
No files found.
tools/install.sh
View file @
576499a5
...
@@ -95,7 +95,9 @@ setup_shell() {
...
@@ -95,7 +95,9 @@ setup_shell() {
# If this platform provides a "chsh" command (not Cygwin), do it, man!
# If this platform provides a "chsh" command (not Cygwin), do it, man!
if
command_exists chsh
;
then
if
command_exists chsh
;
then
echo
"
${
BLUE
}
Time to change your default shell to zsh!
${
NORMAL
}
"
echo
"
${
BLUE
}
Time to change your default shell to zsh!
${
NORMAL
}
"
chsh
-s
$(
grep
/zsh
$
/etc/shells |
tail
-1
)
if
!
chsh
-s
$(
grep
/zsh
$
/etc/shells |
tail
-1
)
;
then
echo
"Error: chsh command unsuccessful. Change your default shell manually."
fi
# Else, suggest the user do so manually.
# Else, suggest the user do so manually.
else
else
cat
<<-
EOF
cat
<<-
EOF
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment