diff options
| author | johannst <johannst@users.noreply.github.com> | 2024-02-15 23:29:57 +0000 |
|---|---|---|
| committer | johannst <johannst@users.noreply.github.com> | 2024-02-15 23:29:57 +0000 |
| commit | bac8a5d2822835cf47175d1162030653fadd5c09 (patch) | |
| tree | 28f312a114cf95ac799daac2a2caec4b8612d84d /linux/coredump.html | |
| parent | bfc5ce4bc01e5eb28969eefcc01ecfefa2601fdf (diff) | |
| download | notes-bac8a5d2822835cf47175d1162030653fadd5c09.tar.gz notes-bac8a5d2822835cf47175d1162030653fadd5c09.zip | |
deploy: 4485708c972815bbb6df7f5a228683aa855d553d
Diffstat (limited to 'linux/coredump.html')
| -rw-r--r-- | linux/coredump.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/linux/coredump.html b/linux/coredump.html index 9ec6ef8..f3526a7 100644 --- a/linux/coredump.html +++ b/linux/coredump.html @@ -201,7 +201,7 @@ In a typical bash/zsh this can be done as</p> /proc/sys/kernel/core_uses_pid - 1 => Append ".<pid>" suffic to the coredump file name + 1 => Append ".<pid>" suffic to the coredump file name (pid of the dumping process). 0 => Do not append the suffix. </code></pre> |