|
@@ -20,18 +20,31 @@ runs:
|
|
|
fi
|
|
fi
|
|
|
|
|
|
|
|
cd "$GITHUB_WORKSPACE"
|
|
cd "$GITHUB_WORKSPACE"
|
|
|
- cat >> "$GKI_DEFCONFIG" << 'EOF'
|
|
|
|
|
- CONFIG_SYSVIPC=y
|
|
|
|
|
- CONFIG_POSIX_MQUEUE=y
|
|
|
|
|
- CONFIG_IPC_NS=y
|
|
|
|
|
- CONFIG_PID_NS=y
|
|
|
|
|
- CONFIG_DEVTMPFS=y
|
|
|
|
|
- CONFIG_NETFILTER_XT_MATCH_ADDRTYPE=y
|
|
|
|
|
- CONFIG_NETFILTER_XT_TARGET_REJECT=y
|
|
|
|
|
- CONFIG_NETFILTER_XT_TARGET_LOG=y
|
|
|
|
|
- CONFIG_NETFILTER_XT_MATCH_RECENT=y
|
|
|
|
|
- CONFIG_IP_SET=y
|
|
|
|
|
- CONFIG_IP_SET_HASH_IP=y
|
|
|
|
|
- CONFIG_IP_SET_HASH_NET=y
|
|
|
|
|
- CONFIG_NETFILTER_XT_SET=y
|
|
|
|
|
- EOF
|
|
|
|
|
|
|
+ configs=(
|
|
|
|
|
+ "CONFIG_SYSVIPC=y"
|
|
|
|
|
+ "CONFIG_POSIX_MQUEUE=y"
|
|
|
|
|
+ "CONFIG_IPC_NS=y"
|
|
|
|
|
+ "CONFIG_PID_NS=y"
|
|
|
|
|
+ "CONFIG_DEVTMPFS=y"
|
|
|
|
|
+ "CONFIG_NETFILTER_XT_MATCH_ADDRTYPE=y"
|
|
|
|
|
+ "CONFIG_NETFILTER_XT_TARGET_REJECT=y"
|
|
|
|
|
+ "CONFIG_NETFILTER_XT_TARGET_LOG=y"
|
|
|
|
|
+ "CONFIG_NETFILTER_XT_MATCH_RECENT=y"
|
|
|
|
|
+ "CONFIG_IP_SET=y"
|
|
|
|
|
+ "CONFIG_IP_SET_HASH_IP=y"
|
|
|
|
|
+ "CONFIG_IP_SET_HASH_NET=y"
|
|
|
|
|
+ "CONFIG_NETFILTER_XT_SET=y"
|
|
|
|
|
+ )
|
|
|
|
|
+
|
|
|
|
|
+ for config in "${configs[@]}"; do
|
|
|
|
|
+ key="${config%%=*}"
|
|
|
|
|
+
|
|
|
|
|
+ if grep -qE "^(${key}=|# ${key} is not set$)" "$GKI_DEFCONFIG"; then
|
|
|
|
|
+ sed -i -E \
|
|
|
|
|
+ -e "s/^${key}=.*/${config}/" \
|
|
|
|
|
+ -e "s/^# ${key} is not set\$/${config}/" \
|
|
|
|
|
+ "$GKI_DEFCONFIG"
|
|
|
|
|
+ else
|
|
|
|
|
+ echo "$config" >> "$GKI_DEFCONFIG"
|
|
|
|
|
+ fi
|
|
|
|
|
+ done
|