2023-07-26 07:33:26 -04:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
|
|
set -eu -o pipefail
|
|
|
|
|
|
|
|
|
|
set -x
|
|
|
|
|
|
|
|
|
|
source common.sh
|
|
|
|
|
|
|
|
|
|
# Avoid store dir being inside sandbox build-dir
|
|
|
|
|
unset NIX_STORE_DIR
|
|
|
|
|
unset NIX_STATE_DIR
|
|
|
|
|
|
|
|
|
|
storeDirs
|
|
|
|
|
|
|
|
|
|
initLowerStore
|
|
|
|
|
|
|
|
|
|
mountOverlayfs
|
|
|
|
|
|
|
|
|
|
# Add to overlay before lower to ensure file is duplicated
|
|
|
|
|
upperPath=$(nix-store --store "$storeB" --add delete.sh)
|
|
|
|
|
lowerPath=$(nix-store --store "$storeA" --add delete.sh)
|
|
|
|
|
[[ "$upperPath" = "$lowerPath" ]]
|
|
|
|
|
|
|
|
|
|
# Check there really are two files with different inodes
|
|
|
|
|
upperInode=$(stat -c %i "$storeBRoot/$upperPath")
|
|
|
|
|
lowerInode=$(stat -c %i "$storeA/$lowerPath")
|
|
|
|
|
[[ "$upperInode" != "$lowerInode" ]]
|
|
|
|
|
|
|
|
|
|
# Now delete file via the overlay store
|
|
|
|
|
nix-store --store "$storeB" --delete "$upperPath"
|
2023-07-26 08:21:38 -04:00
|
|
|
remountOverlayfs
|
2023-07-26 07:33:26 -04:00
|
|
|
|
|
|
|
|
# Check there is no longer a file in upper layer
|
|
|
|
|
expect 1 stat "$storeBTop/${upperPath##/nix/store/}"
|
|
|
|
|
|
|
|
|
|
# Check that overlay file is now the one in lower layer
|
|
|
|
|
upperInode=$(stat -c %i "$storeBRoot/$upperPath")
|
|
|
|
|
lowerInode=$(stat -c %i "$storeA/$lowerPath")
|
|
|
|
|
[[ "$upperInode" = "$lowerInode" ]]
|
