| 12345678910111213141516171819202122232425262728293031323334353637383940414243 |
- name: add configs for ubuntu-chroot
- description: same as above
- runs:
- using: composite
- steps:
- - name: add configs for ubuntu-chroot
- shell: bash
- run: |
- configs=(
- "CONFIG_NAMESPACES=y"
- "CONFIG_PID_NS=y"
- "CONFIG_UTS_NS=y"
- "CONFIG_MNT_NS=y"
- "CONFIG_IPC_NS=y"
- "CONFIG_DEVTMPFS=y"
- "CONFIG_PROC_FS=y"
- "CONFIG_SYSFS=y"
- "CONFIG_BINFMT_MISC=y"
- "CONFIG_BINFMT_SCRIPT=y"
- "CONFIG_BINFMT_ELF=y"
- "CONFIG_SYSVIPC=y"
- "CONFIG_SYSVIPC_SYSCTL=y"
- "CONFIG_PROC_SYSCTL=y"
- "CONFIG_POSIX_MQUEUE=y"
- "CONFIG_CGROUPS=y"
- "CONFIG_CGROUP_DEVICE=y"
- "CONFIG_MEMCG=y"
- )
- for config in "${configs[@]}"; do
- key="${config%%=*}"
- if grep -qE "^(${key}=|# ${key} is not set$)" "$target_config"; then
- sed -i -E \
- -e "s/^${key}=.*/${config}/" \
- -e "s/^# ${key} is not set\$/${config}/" \
- "$target_config"
- else
- echo "$config" >> "$target_config"
- fi
- done
|