Files
neon/safekeeper/spec/remove_interm_progress.sh
Arseny Sher 030ab1c0e8 TLA+ spec for safekeeper membership change (#9966)
## Problem

We want to define the algorithm for safekeeper membership change.

## Summary of changes

Add spec for it, several models and logs of checking them.

ref https://github.com/neondatabase/neon/issues/8699
2025-01-09 12:26:17 +00:00

3 lines
59 B
Bash
Executable File

#!/bin/bash
awk -f remove_interm_progress.awk $1 > $1.thin