diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-07-17 14:45:10 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-07-17 14:45:41 +0200 |
| commit | 7c1ee0634b4335bd7b31b2ef063fffbcfa3b6484 (patch) | |
| tree | 44d5506995072502463d73035a3941bd9aaedab3 /docs/setup.md | |
| parent | 8382eb648fe51db07a0a20d413f61d4a46ab6131 (diff) | |
tools/create-gce-image.sh: ignore SIGINT
If the script is aborted at an unfortunate point, it leaves the whole system broken.
E.g. we've seen that fdisk cannot update partition table until the next reboot.
If you really need to kill it, use a different signal. But better wait.
Diffstat (limited to 'docs/setup.md')
0 files changed, 0 insertions, 0 deletions