Skip to content

fix: Inherit owner from parent folder#1526

Merged
kroese merged 7 commits intomasterfrom
dev
Oct 22, 2025
Merged

fix: Inherit owner from parent folder#1526
kroese merged 7 commits intomasterfrom
dev

Conversation

@kroese
Copy link
Contributor

@kroese kroese commented Oct 21, 2025

No description provided.

if ! makeDir "$dir"; then
error "Failed to create directory \"$dir\" !" && return 1
fi

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

[shfmt] reported by reviewdog 🐶

Suggested change

space_gb=$(formatBytes "$space")

if ((size<100000000)); then
if (( size < 100000000 )); then
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

[shfmt] reported by reviewdog 🐶

Suggested change
if (( size < 100000000 )); then
if ((size < 100000000)); then

@kroese kroese merged commit 122d1ff into master Oct 22, 2025
2 checks passed
@kroese kroese deleted the dev branch October 22, 2025 08:06
xmoforf pushed a commit to xmoforf/windows that referenced this pull request Oct 30, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant