Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
adam.huang
Config
Commits
198b17d0
Commit
198b17d0
authored
Nov 25, 2017
by
Igor Pecovnik
Browse files
Add build-essential install/deinstall to armbian-config
parent
2db190d6
Changes
2
Hide whitespace changes
Inline
Side-by-side
debian-config-jobs
View file @
198b17d0
...
...
@@ -139,6 +139,18 @@ function jobs ()
;;
# Install build essentials
#
"Development"
)
if
[[
-n
$(
dpkg
-l
|
grep
build-essential
)
]]
;
then
debconf-apt-progress
--
apt-get
-y
remove build-essential
debconf-apt-progress
--
apt-get
-y
autoremove
else
debconf-apt-progress
--
apt-get
-y
install
build-essential
fi
;;
# Set the display resolution
#
"Display"
)
...
...
debian-config-submenu
View file @
198b17d0
...
...
@@ -738,6 +738,11 @@ while true; do
if
[[
-n
$(
dpkg
-l
|
grep
linux-headers
)
]]
;
then
LIST+
=(
"Headers"
"Remove kernel headers"
)
;
else
\
LIST+
=(
"Headers"
"Install kernel headers"
)
;
fi
if
check_if_installed build-essential
then
;
then
LIST+
=(
"Development"
"Remove base development tools"
)
;
else
LIST+
=(
"Development"
"Install base development tools"
)
;
fi
if
[[
-n
$DISPLAY_MANAGER
]]
;
then
if
[[
$(
service xrdp status 2> /dev/null |
grep
-w
active
)
]]
;
then
LIST+
=(
"RDP"
"Disable remote desktop access from Windows"
)
...
...
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