Enable configuration of core dump behavior

[aledbf]

Description

By default, core dumps are disabled. If we want to enable the feature, we need to update the .gitpod.yml file

coreDump:
  enabled: true

Optionally we can set custom sizes

coreDump:
  enabled: true
  softLimit: <bytes>
  hardLimit: <bytes>

Related Issue(s)

Replaces #12814
Fixes #12453

How to test

Tests:

---

1. Default behavior

• Open a workspace https://aledbf-core.preview.gitpod-dev.com/#https://github.com/gitpod-io/template-python-django
• Run ulimit -c and check the value is 0
• Run sleep 900&
• Run kill -s SIGSEGV [pid]
• Check no core.* file exist

---

2. Enable core dumps

• Open a workspace https://aledbf-core.preview.gitpod-dev.com/#https://github.com/gitpod-io/template-python-django/tree/aledbf/enable-coredump
• Run ulimit -c and check the value is 1048576
• Check the value of the env variable echo $GITPOD_RLIMIT_CORE is {"softLimit":1073741824,"hardLimit":1073741824}
• Run sleep 900&
• Run kill -s SIGSEGV [pid]
• Check file core.[pid] exists

---

3. Enable core dumps with custom sizes

• Open a workspace https://aledbf-core.preview.gitpod-dev.com/#https://github.com/gitpod-io/template-python-django/tree/aledbf/coredump-size
• Run ulimit -c and check the value is 9765
• Check the value of the env variable echo $GITPOD_RLIMIT_CORE is {"soft-limit":10000000,"hard-limit":20000000}
• Run sleep 900&
• Run kill -s SIGSEGV [pid]
• Check file core.[pid] exists and size is about 393216

Release Notes

NONE

Documentation

xref https://github.com/gitpod-io/website/pull/2767

Werft options:

• /werft with-preview

[david-bakin]

Thanks for doing this properly, i.e., by adding per-repo user configuration.

[csweichel]

cc @svenefftinge PTAL

[svenefftinge]

Looks good besides some small things

/hold

[aledbf]

/werft run

👍 started the job as gitpod-build-aledbf-core.16
(with .werft/ from main)

[atduarte]

@aledbf FYI replace release notes with a multi-line release note here