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
b944fee6
Commit
b944fee6
authored
Jun 01, 2019
by
Marc Cornellà
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
installer: ask user about changing the shell to zsh
parent
0824dcc9
Changes
1
Show whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
9 additions
and
0 deletions
+9
-0
install.sh
tools/install.sh
+9
-0
No files found.
tools/install.sh
View file @
b944fee6
...
@@ -159,6 +159,15 @@ setup_shell() {
...
@@ -159,6 +159,15 @@ setup_shell() {
echo
"
${
BLUE
}
Time to change your default shell to zsh:
${
RESET
}
"
echo
"
${
BLUE
}
Time to change your default shell to zsh:
${
RESET
}
"
# Prompt for user choice on changing the default login shell
printf
"
${
YELLOW
}
Do you want to change your default shell to zsh? [Y/n]
${
RESET
}
"
read
opt
case
$opt
in
y
*
|
Y
*
|
""
)
echo
"Changing the shell..."
;;
n
*
|
N
*
)
echo
"Shell change skipped."
;
return
;;
*
)
echo
"Invalid choice. Shell change skipped."
;
return
;;
esac
# Test for the right location of the "shells" file
# Test for the right location of the "shells" file
if
[
-f
/etc/shells
]
;
then
if
[
-f
/etc/shells
]
;
then
shells_file
=
/etc/shells
shells_file
=
/etc/shells
...
...
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