This repository was archived by the owner on Nov 30, 2023. It is now read-only.
File tree 36 files changed +36
-36
lines changed
docker-compose/.devcontainer/library-scripts
dockerfile/.devcontainer/library-scripts
alpine/.devcontainer/library-scripts
azure-ansible/.devcontainer/library-scripts
azure-bicep/.devcontainer/library-scripts
azure-cli/.devcontainer/library-scripts
azure-terraform/.devcontainer/library-scripts
bazel/.devcontainer/library-scripts
codespaces-linux/.devcontainer/library-scripts
dart/.devcontainer/library-scripts
debian/.devcontainer/library-scripts
docker-from-docker/.devcontainer/library-scripts
docker-from-docker-compose/.devcontainer/library-scripts
docker-in-docker/.devcontainer/library-scripts
dotnet/.devcontainer/library-scripts
go/.devcontainer/library-scripts
haskell/.devcontainer/library-scripts
java/.devcontainer/library-scripts
javascript-node/.devcontainer/library-scripts
jupyter-datascience-notebooks/.devcontainer/library-scripts
kubernetes-helm/.devcontainer/library-scripts
kubernetes-helm-minikube/.devcontainer/library-scripts
mit-scheme/.devcontainer/library-scripts
perl/.devcontainer/library-scripts
php/.devcontainer/library-scripts
powershell/.devcontainer/library-scripts
python-3/.devcontainer/library-scripts
python-3-pypy/.devcontainer/library-scripts
r/.devcontainer/library-scripts
ruby/.devcontainer/library-scripts
rust/.devcontainer/library-scripts
swift/.devcontainer/library-scripts
ubuntu/.devcontainer/library-scripts
36 files changed +36
-36
lines changed Original file line number Diff line number Diff line change 205
205
fi
206
206
fi
207
207
208
- # Add add sudo support for non-root user
208
+ # Add sudo support for non-root user
209
209
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
210
210
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
211
211
chmod 0440 /etc/sudoers.d/$USERNAME
Original file line number Diff line number Diff line change 205
205
fi
206
206
fi
207
207
208
- # Add add sudo support for non-root user
208
+ # Add sudo support for non-root user
209
209
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
210
210
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
211
211
chmod 0440 /etc/sudoers.d/$USERNAME
Original file line number Diff line number Diff line change 143
143
fi
144
144
fi
145
145
146
- # Add add sudo support for non-root user
146
+ # Add sudo support for non-root user
147
147
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
148
148
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
149
149
chmod 0440 /etc/sudoers.d/$USERNAME
Original file line number Diff line number Diff line change 205
205
fi
206
206
fi
207
207
208
- # Add add sudo support for non-root user
208
+ # Add sudo support for non-root user
209
209
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
210
210
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
211
211
chmod 0440 /etc/sudoers.d/$USERNAME
Original file line number Diff line number Diff line change 205
205
fi
206
206
fi
207
207
208
- # Add add sudo support for non-root user
208
+ # Add sudo support for non-root user
209
209
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
210
210
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
211
211
chmod 0440 /etc/sudoers.d/$USERNAME
Original file line number Diff line number Diff line change 205
205
fi
206
206
fi
207
207
208
- # Add add sudo support for non-root user
208
+ # Add sudo support for non-root user
209
209
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
210
210
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
211
211
chmod 0440 /etc/sudoers.d/$USERNAME
Original file line number Diff line number Diff line change 205
205
fi
206
206
fi
207
207
208
- # Add add sudo support for non-root user
208
+ # Add sudo support for non-root user
209
209
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
210
210
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
211
211
chmod 0440 /etc/sudoers.d/$USERNAME
Original file line number Diff line number Diff line change 205
205
fi
206
206
fi
207
207
208
- # Add add sudo support for non-root user
208
+ # Add sudo support for non-root user
209
209
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
210
210
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
211
211
chmod 0440 /etc/sudoers.d/$USERNAME
Original file line number Diff line number Diff line change 205
205
fi
206
206
fi
207
207
208
- # Add add sudo support for non-root user
208
+ # Add sudo support for non-root user
209
209
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
210
210
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
211
211
chmod 0440 /etc/sudoers.d/$USERNAME
Original file line number Diff line number Diff line change 205
205
fi
206
206
fi
207
207
208
- # Add add sudo support for non-root user
208
+ # Add sudo support for non-root user
209
209
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
210
210
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
211
211
chmod 0440 /etc/sudoers.d/$USERNAME
Original file line number Diff line number Diff line change 205
205
fi
206
206
fi
207
207
208
- # Add add sudo support for non-root user
208
+ # Add sudo support for non-root user
209
209
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
210
210
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
211
211
chmod 0440 /etc/sudoers.d/$USERNAME
Original file line number Diff line number Diff line change 205
205
fi
206
206
fi
207
207
208
- # Add add sudo support for non-root user
208
+ # Add sudo support for non-root user
209
209
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
210
210
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
211
211
chmod 0440 /etc/sudoers.d/$USERNAME
Original file line number Diff line number Diff line change 205
205
fi
206
206
fi
207
207
208
- # Add add sudo support for non-root user
208
+ # Add sudo support for non-root user
209
209
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
210
210
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
211
211
chmod 0440 /etc/sudoers.d/$USERNAME
Original file line number Diff line number Diff line change 205
205
fi
206
206
fi
207
207
208
- # Add add sudo support for non-root user
208
+ # Add sudo support for non-root user
209
209
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
210
210
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
211
211
chmod 0440 /etc/sudoers.d/$USERNAME
Original file line number Diff line number Diff line change 205
205
fi
206
206
fi
207
207
208
- # Add add sudo support for non-root user
208
+ # Add sudo support for non-root user
209
209
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
210
210
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
211
211
chmod 0440 /etc/sudoers.d/$USERNAME
Original file line number Diff line number Diff line change 205
205
fi
206
206
fi
207
207
208
- # Add add sudo support for non-root user
208
+ # Add sudo support for non-root user
209
209
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
210
210
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
211
211
chmod 0440 /etc/sudoers.d/$USERNAME
Original file line number Diff line number Diff line change 205
205
fi
206
206
fi
207
207
208
- # Add add sudo support for non-root user
208
+ # Add sudo support for non-root user
209
209
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
210
210
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
211
211
chmod 0440 /etc/sudoers.d/$USERNAME
Original file line number Diff line number Diff line change 205
205
fi
206
206
fi
207
207
208
- # Add add sudo support for non-root user
208
+ # Add sudo support for non-root user
209
209
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
210
210
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
211
211
chmod 0440 /etc/sudoers.d/$USERNAME
Original file line number Diff line number Diff line change 205
205
fi
206
206
fi
207
207
208
- # Add add sudo support for non-root user
208
+ # Add sudo support for non-root user
209
209
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
210
210
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
211
211
chmod 0440 /etc/sudoers.d/$USERNAME
Original file line number Diff line number Diff line change 205
205
fi
206
206
fi
207
207
208
- # Add add sudo support for non-root user
208
+ # Add sudo support for non-root user
209
209
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
210
210
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
211
211
chmod 0440 /etc/sudoers.d/$USERNAME
Original file line number Diff line number Diff line change 205
205
fi
206
206
fi
207
207
208
- # Add add sudo support for non-root user
208
+ # Add sudo support for non-root user
209
209
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
210
210
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
211
211
chmod 0440 /etc/sudoers.d/$USERNAME
Original file line number Diff line number Diff line change 205
205
fi
206
206
fi
207
207
208
- # Add add sudo support for non-root user
208
+ # Add sudo support for non-root user
209
209
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
210
210
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
211
211
chmod 0440 /etc/sudoers.d/$USERNAME
Original file line number Diff line number Diff line change 205
205
fi
206
206
fi
207
207
208
- # Add add sudo support for non-root user
208
+ # Add sudo support for non-root user
209
209
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
210
210
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
211
211
chmod 0440 /etc/sudoers.d/$USERNAME
Original file line number Diff line number Diff line change 205
205
fi
206
206
fi
207
207
208
- # Add add sudo support for non-root user
208
+ # Add sudo support for non-root user
209
209
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
210
210
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
211
211
chmod 0440 /etc/sudoers.d/$USERNAME
Original file line number Diff line number Diff line change 205
205
fi
206
206
fi
207
207
208
- # Add add sudo support for non-root user
208
+ # Add sudo support for non-root user
209
209
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
210
210
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
211
211
chmod 0440 /etc/sudoers.d/$USERNAME
Original file line number Diff line number Diff line change 205
205
fi
206
206
fi
207
207
208
- # Add add sudo support for non-root user
208
+ # Add sudo support for non-root user
209
209
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
210
210
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
211
211
chmod 0440 /etc/sudoers.d/$USERNAME
Original file line number Diff line number Diff line change 205
205
fi
206
206
fi
207
207
208
- # Add add sudo support for non-root user
208
+ # Add sudo support for non-root user
209
209
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
210
210
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
211
211
chmod 0440 /etc/sudoers.d/$USERNAME
Original file line number Diff line number Diff line change 205
205
fi
206
206
fi
207
207
208
- # Add add sudo support for non-root user
208
+ # Add sudo support for non-root user
209
209
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
210
210
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
211
211
chmod 0440 /etc/sudoers.d/$USERNAME
Original file line number Diff line number Diff line change 205
205
fi
206
206
fi
207
207
208
- # Add add sudo support for non-root user
208
+ # Add sudo support for non-root user
209
209
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
210
210
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
211
211
chmod 0440 /etc/sudoers.d/$USERNAME
Original file line number Diff line number Diff line change 205
205
fi
206
206
fi
207
207
208
- # Add add sudo support for non-root user
208
+ # Add sudo support for non-root user
209
209
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
210
210
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
211
211
chmod 0440 /etc/sudoers.d/$USERNAME
Original file line number Diff line number Diff line change 205
205
fi
206
206
fi
207
207
208
- # Add add sudo support for non-root user
208
+ # Add sudo support for non-root user
209
209
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
210
210
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
211
211
chmod 0440 /etc/sudoers.d/$USERNAME
Original file line number Diff line number Diff line change 205
205
fi
206
206
fi
207
207
208
- # Add add sudo support for non-root user
208
+ # Add sudo support for non-root user
209
209
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
210
210
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
211
211
chmod 0440 /etc/sudoers.d/$USERNAME
Original file line number Diff line number Diff line change 205
205
fi
206
206
fi
207
207
208
- # Add add sudo support for non-root user
208
+ # Add sudo support for non-root user
209
209
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
210
210
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
211
211
chmod 0440 /etc/sudoers.d/$USERNAME
Original file line number Diff line number Diff line change 143
143
fi
144
144
fi
145
145
146
- # Add add sudo support for non-root user
146
+ # Add sudo support for non-root user
147
147
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
148
148
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
149
149
chmod 0440 /etc/sudoers.d/$USERNAME
Original file line number Diff line number Diff line change 205
205
fi
206
206
fi
207
207
208
- # Add add sudo support for non-root user
208
+ # Add sudo support for non-root user
209
209
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
210
210
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
211
211
chmod 0440 /etc/sudoers.d/$USERNAME
Original file line number Diff line number Diff line change 135
135
fi
136
136
fi
137
137
138
- # Add add sudo support for non-root user
138
+ # Add sudo support for non-root user
139
139
if [ " ${USERNAME} " != " root" ] && [ " ${EXISTING_NON_ROOT_USER} " != " ${USERNAME} " ]; then
140
140
echo $USERNAME ALL=\( root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME
141
141
chmod 0440 /etc/sudoers.d/$USERNAME
You can’t perform that action at this time.
0 commit comments