From: Shaoxuan Yuan <shaoxuan.yuan02@gmail.com>
To: git@vger.kernel.org
Cc: vdye@github.com, derrickstolee@github.com, gitster@pobox.com,
newren@gmail.com, Shaoxuan Yuan <shaoxuan.yuan02@gmail.com>
Subject: [WIP v2 0/5] mv: fix out-of-cone file/directory move logic
Date: Fri, 27 May 2022 18:07:59 +0800 [thread overview]
Message-ID: <20220527100804.209890-1-shaoxuan.yuan02@gmail.com> (raw)
In-Reply-To: <20220331091755.385961-1-shaoxuan.yuan02@gmail.com>
## Changes since WIP v1 ##
1. Move t7002 tests to the front and turn corresponding tests to
test_expect_success along with corresponding commits.
2. Add two tests to t7002.
3. Update check_dir_in_index() and added corresponding documentation.
4. Turn update_mode into enum flags.
5. Use update_sparsity() to replace advise*() function after touching
sparse contents (this change is INCOMPLETE, NEED FIX).
6. Fix some format issues.
## Limitations ##
This series has not considered moving file from in-cone area to out-of-cone
area *yet*. Moving from in-cone to out-of-cone has not been covered/tested. The
plan is to add the "in-cone to out-of-cone" functionality later, since this
series is WIP for now.
Shaoxuan Yuan (5):
t7002: add tests for moving out-of-cone file/directory
mv: check if out-of-cone file exists in index with SKIP_WORKTREE bit
mv: check if <destination> exists in index to handle overwriting
mv: add check_dir_in_index() and solve general dir check issue
mv: use update_sparsity() after touching sparse contents
builtin/mv.c | 104 +++++++++++++++++++++++++++++--
t/t7002-mv-sparse-checkout.sh | 114 ++++++++++++++++++++++++++++++++++
2 files changed, 212 insertions(+), 6 deletions(-)
Range-diff against v1:
4: 1dd2fcb234 ! 1: 485d1e9102 t7002: add tests for moving out-of-cone file/directory
@@ Commit message
* 'can move out-of-cone directory with --sparse'
* 'refuse to move out-of-cone file without --sparse'
* 'can move out-of-cone file with --sparse'
+ * 'refuse to move sparse file to existing destination'
+ * 'move sparse file to existing destination with --force and --sparse'
Signed-off-by: Shaoxuan Yuan <shaoxuan.yuan02@gmail.com>
@@ t/t7002-mv-sparse-checkout.sh: test_expect_success 'refuse to move file to non-s
test_cmp expect stderr
'
-+test_expect_success 'refuse to move out-of-cone directory without --sparse' '
++test_expect_failure 'refuse to move out-of-cone directory without --sparse' '
+ git sparse-checkout disable &&
+ git reset --hard &&
+ mkdir folder1 &&
@@ t/t7002-mv-sparse-checkout.sh: test_expect_success 'refuse to move file to non-s
+ test_cmp expect stderr
+'
+
-+test_expect_success 'can move out-of-cone directory with --sparse' '
++test_expect_failure 'can move out-of-cone directory with --sparse' '
+ git sparse-checkout disable &&
+ git reset --hard &&
+ mkdir folder1 &&
@@ t/t7002-mv-sparse-checkout.sh: test_expect_success 'refuse to move file to non-s
+
+ git mv --sparse folder1 sub 1>actual 2>stderr &&
+ test_must_be_empty stderr &&
-+ echo "Please use \"git sparse-checkout reapply\" to reapply the sparsity."\
-+ >expect &&
-+ test_cmp actual expect &&
+
+ git sparse-checkout reapply &&
+ test_path_is_dir sub/folder1 &&
+ test_path_is_file sub/folder1/file1
+'
+
-+test_expect_success 'refuse to move out-of-cone file without --sparse' '
++test_expect_failure 'refuse to move out-of-cone file without --sparse' '
+ git sparse-checkout disable &&
+ git reset --hard &&
+ mkdir folder1 &&
@@ t/t7002-mv-sparse-checkout.sh: test_expect_success 'refuse to move file to non-s
+ test_cmp expect stderr
+'
+
-+test_expect_success 'can move out-of-cone file with --sparse' '
++test_expect_failure 'can move out-of-cone file with --sparse' '
+ git sparse-checkout disable &&
+ git reset --hard &&
+ mkdir folder1 &&
@@ t/t7002-mv-sparse-checkout.sh: test_expect_success 'refuse to move file to non-s
+
+ git mv --sparse folder1/file1 sub 1>actual 2>stderr &&
+ test_must_be_empty stderr &&
-+ echo "Please use \"git sparse-checkout reapply\" to reapply the sparsity."\
-+ >expect &&
-+ test_cmp actual expect &&
+
+ git sparse-checkout reapply &&
+ ! test_path_is_dir sub/folder1 &&
+ test_path_is_file sub/file1
+'
++
++test_expect_failure 'refuse to move sparse file to existing destination' '
++ git sparse-checkout disable &&
++ git reset --hard &&
++ mkdir folder1 &&
++ touch folder1/file1 &&
++ touch sub/file1 &&
++ git add folder1 sub/file1 &&
++ git sparse-checkout init --cone &&
++ git sparse-checkout set sub &&
++
++ test_must_fail git mv --sparse folder1/file1 sub 2>stderr &&
++ echo "fatal: destination exists, source=folder1/file1, destination=sub/file1" >expect &&
++ test_cmp expect stderr
++'
++
++test_expect_failure 'move sparse file to existing destination with --force and --sparse' '
++ git sparse-checkout disable &&
++ git reset --hard &&
++ mkdir folder1 &&
++ touch folder1/file1 &&
++ touch sub/file1 &&
++ echo "overwrite" >folder1/file1 &&
++ git add folder1 sub/file1 &&
++ git sparse-checkout init --cone &&
++ git sparse-checkout set sub &&
++
++ git mv --sparse --force folder1/file1 sub 2>stderr &&
++ test_must_be_empty stderr &&
++ echo "overwrite" >expect &&
++ test_cmp expect sub/file1
++'
+
test_done
1: 5cf6b860e3 ! 2: c99df4fc1a mv: check if out-of-cone file exists in index with SKIP_WORKTREE bit
@@ builtin/mv.c: int cmd_mv(int argc, const char **argv, const char *prefix)
bad = _("bad source");
} else if (!strncmp(src, dst, length) &&
(dst[length] == 0 || dst[length] == '/')) {
+
+ ## t/t7002-mv-sparse-checkout.sh ##
+@@ t/t7002-mv-sparse-checkout.sh: test_expect_failure 'can move out-of-cone directory with --sparse' '
+ test_path_is_file sub/folder1/file1
+ '
+
+-test_expect_failure 'refuse to move out-of-cone file without --sparse' '
++test_expect_success 'refuse to move out-of-cone file without --sparse' '
+ git sparse-checkout disable &&
+ git reset --hard &&
+ mkdir folder1 &&
+@@ t/t7002-mv-sparse-checkout.sh: test_expect_failure 'refuse to move out-of-cone file without --sparse' '
+ test_cmp expect stderr
+ '
+
+-test_expect_failure 'can move out-of-cone file with --sparse' '
++test_expect_success 'can move out-of-cone file with --sparse' '
+ git sparse-checkout disable &&
+ git reset --hard &&
+ mkdir folder1 &&
-: ---------- > 3: 8f1193188b mv: check if <destination> exists in index to handle overwriting
2: 7b3c931f3f ! 4: e195bfbc73 mv: add check_dir_in_index() and solve general dir check issue
@@ Commit message
errors out with "bad source".
Add a helper check_dir_in_index() function to see if a directory
- name exists in the index. Also add a SPARSE_DIRECTORY bit to mark
+ name exists in the index. Also add a SKIP_WORKTREE_DIR bit to mark
such directories.
Change the checking logic, so that such <source> directory makes
@@ Commit message
instead of "bad source"; also user now can supply a "--sparse" flag so
this operation can be carried out successfully.
+ Also, as suggested by Derrick [1],
+ move the in-line definition of "enum update_mode" to the top
+ of the file and make it use "flags" mode (each state is a different
+ bit in the word).
+
+ [1] https://lore.kernel.org/git/22aadea2-9330-aa9e-7b6a-834585189144@github.com/
+
Signed-off-by: Shaoxuan Yuan <shaoxuan.yuan02@gmail.com>
## builtin/mv.c ##
+@@ builtin/mv.c: static const char * const builtin_mv_usage[] = {
+ NULL
+ };
+
++enum update_mode {
++ BOTH = 0,
++ WORKING_DIRECTORY = (1 << 1),
++ INDEX = (1 << 2),
++ SPARSE = (1 << 3),
++ SKIP_WORKTREE_DIR = (1 << 4),
++};
++
+ #define DUP_BASENAME 1
+ #define KEEP_TRAILING_SLASH 2
+
@@ builtin/mv.c: static int index_range_of_same_dir(const char *src, int length,
return last - first;
}
-+static int check_dir_in_index(const char *dir)
++/*
++ * Check if an out-of-cone directory should be in the index. Imagine this case
++ * that all the files under a directory are marked with 'CE_SKIP_WORKTREE' bit
++ * and thus the directory is sparsified.
++ *
++ * Return 0 if such directory exist (i.e. with any of its contained files not
++ * marked with CE_SKIP_WORKTREE, the directory would be present in working tree).
++ * Return 1 otherwise.
++ */
++static int check_dir_in_index(const char *name, int namelen)
+{
-+ int ret = 0;
-+ int length = sizeof(dir) + 1;
-+ char *substr = malloc(length);
++ int ret = 1;
++ const char *with_slash = add_slash(name);
++ int length = namelen + 1;
+
-+ for (int i = 0; i < the_index.cache_nr; i++) {
-+ memcpy(substr, the_index.cache[i]->name, length);
-+ memset(substr + length - 1, 0, 1);
++ int pos = cache_name_pos(with_slash, length);
++ const struct cache_entry *ce;
+
-+ if (strcmp(dir, substr) == 0) {
-+ ret = 1;
++ if (pos < 0) {
++ pos = -pos - 1;
++ if (pos >= the_index.cache_nr)
+ return ret;
-+ }
++ ce = active_cache[pos];
++ if (strncmp(with_slash, ce->name, length))
++ return ret;
++ if (ce_skip_worktree(ce))
++ return ret = 0;
+ }
-+ free(substr);
+ return ret;
+}
+
@@ builtin/mv.c: int cmd_mv(int argc, const char **argv, const char *prefix)
};
const char **source, **destination, **dest_path, **submodule_gitfile;
- enum update_mode { BOTH = 0, WORKING_DIRECTORY, INDEX, SPARSE } *modes;
-+ enum update_mode { BOTH = 0, WORKING_DIRECTORY, INDEX, SPARSE,
-+ SPARSE_DIRECTORY } *modes;
++ enum update_mode *modes;
struct stat st;
struct string_list src_for_dst = STRING_LIST_INIT_NODUP;
struct lock_file lock_file = LOCK_INIT;
@@ builtin/mv.c: int cmd_mv(int argc, const char **argv, const char *prefix)
- */
+ if (lstat(src, &st) < 0) {
int pos = cache_name_pos(src, length);
+ const char *src_w_slash = add_slash(src);
@@ builtin/mv.c: int cmd_mv(int argc, const char **argv, const char *prefix)
else
bad = _("bad source");
}
-+ else if (check_dir_in_index(src_w_slash) &&
-+ !path_in_sparse_checkout(src_w_slash, &the_index)) {
-+ modes[i] = SPARSE_DIRECTORY;
++ else if (!check_dir_in_index(src, length) &&
++ !path_in_sparse_checkout(src_w_slash, &the_index)) {
++ modes[i] = SKIP_WORKTREE_DIR;
+ goto dir_check;
+ }
/* only error if existence is expected. */
@@ builtin/mv.c: int cmd_mv(int argc, const char **argv, const char *prefix)
- modes[i] = WORKING_DIRECTORY;
+ if (!modes[i])
-+ modes[i] = WORKING_DIRECTORY;
++ modes[i] |= WORKING_DIRECTORY;
n = argc + last - first;
REALLOC_ARRAY(source, n);
REALLOC_ARRAY(destination, n);
@@ builtin/mv.c: int cmd_mv(int argc, const char **argv, const char *prefix)
if (show_only)
continue;
- if (mode != INDEX && mode != SPARSE && rename(src, dst) < 0) {
-+ if (mode != INDEX && mode != SPARSE && mode != SPARSE_DIRECTORY &&
-+ rename(src, dst) < 0) {
++ if (!(mode & (INDEX | SPARSE | SKIP_WORKTREE_DIR)) &&
++ rename(src, dst) < 0) {
if (ignore_errors)
continue;
die_errno(_("renaming '%s' failed"), src);
@@ builtin/mv.c: int cmd_mv(int argc, const char **argv, const char *prefix)
}
- if (mode == WORKING_DIRECTORY)
-+ if (mode == WORKING_DIRECTORY || mode == SPARSE_DIRECTORY)
++ if (mode & (WORKING_DIRECTORY | SKIP_WORKTREE_DIR))
continue;
pos = cache_name_pos(src, strlen(src));
+
+ ## t/t7002-mv-sparse-checkout.sh ##
+@@ t/t7002-mv-sparse-checkout.sh: test_expect_success 'refuse to move file to non-skip-worktree sparse path' '
+ test_cmp expect stderr
+ '
+
+-test_expect_failure 'refuse to move out-of-cone directory without --sparse' '
++test_expect_success 'refuse to move out-of-cone directory without --sparse' '
+ git sparse-checkout disable &&
+ git reset --hard &&
+ mkdir folder1 &&
+@@ t/t7002-mv-sparse-checkout.sh: test_expect_failure 'refuse to move out-of-cone directory without --sparse' '
+ test_cmp expect stderr
+ '
+
+-test_expect_failure 'can move out-of-cone directory with --sparse' '
++test_expect_success 'can move out-of-cone directory with --sparse' '
+ git sparse-checkout disable &&
+ git reset --hard &&
+ mkdir folder1 &&
3: 4be4c4f34d < -: ---------- mv: add advise_to_reapply hint for moving file into cone
-: ---------- > 5: aa82ba56b0 mv: use update_sparsity() after touching sparse contents
--
2.35.1
next prev parent reply other threads:[~2022-05-27 10:08 UTC|newest]
Thread overview: 95+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-03-31 9:17 [WIP v1 0/4] mv: fix out-of-cone file/directory move logic Shaoxuan Yuan
2022-03-31 9:17 ` [WIP v1 1/4] mv: check if out-of-cone file exists in index with SKIP_WORKTREE bit Shaoxuan Yuan
2022-03-31 16:39 ` Victoria Dye
2022-04-01 14:30 ` Derrick Stolee
2022-03-31 9:17 ` [WIP v1 2/4] mv: add check_dir_in_index() and solve general dir check issue Shaoxuan Yuan
2022-03-31 10:25 ` Ævar Arnfjörð Bjarmason
2022-04-01 3:51 ` Shaoxuan Yuan
2022-03-31 21:28 ` Victoria Dye
2022-04-01 12:49 ` Shaoxuan Yuan
2022-04-01 14:49 ` Derrick Stolee
2022-04-04 7:25 ` Shaoxuan Yuan
2022-04-04 7:49 ` Shaoxuan Yuan
2022-04-04 12:43 ` Derrick Stolee
2022-03-31 9:17 ` [WIP v1 3/4] mv: add advise_to_reapply hint for moving file into cone Shaoxuan Yuan
2022-03-31 10:30 ` Ævar Arnfjörð Bjarmason
2022-04-01 4:00 ` Shaoxuan Yuan
2022-04-01 8:02 ` Ævar Arnfjörð Bjarmason
2022-04-03 2:01 ` Eric Sunshine
2022-03-31 21:56 ` Victoria Dye
2022-04-01 14:55 ` Derrick Stolee
2022-03-31 9:17 ` [WIP v1 4/4] t7002: add tests for moving out-of-cone file/directory Shaoxuan Yuan
2022-03-31 10:33 ` Ævar Arnfjörð Bjarmason
2022-03-31 22:11 ` Victoria Dye
2022-03-31 9:28 ` [WIP v1 0/4] mv: fix out-of-cone file/directory move logic Shaoxuan Yuan
2022-03-31 22:21 ` Victoria Dye
2022-04-01 12:18 ` Shaoxuan Yuan
2022-04-08 12:22 ` Shaoxuan Yuan
2022-05-27 10:07 ` Shaoxuan Yuan [this message]
2022-05-27 10:08 ` [WIP v2 1/5] t7002: add tests for moving out-of-cone file/directory Shaoxuan Yuan
2022-05-27 12:07 ` Ævar Arnfjörð Bjarmason
2022-05-27 14:48 ` Derrick Stolee
2022-05-27 15:51 ` Victoria Dye
2022-05-27 10:08 ` [WIP v2 2/5] mv: check if out-of-cone file exists in index with SKIP_WORKTREE bit Shaoxuan Yuan
2022-05-27 15:13 ` Derrick Stolee
2022-05-27 22:38 ` Victoria Dye
2022-05-31 8:06 ` Shaoxuan Yuan
2022-05-27 10:08 ` [WIP v2 3/5] mv: check if <destination> exists in index to handle overwriting Shaoxuan Yuan
2022-05-27 22:04 ` Victoria Dye
2022-05-27 10:08 ` [WIP v2 4/5] mv: add check_dir_in_index() and solve general dir check issue Shaoxuan Yuan
2022-05-27 15:27 ` Derrick Stolee
2022-05-31 9:56 ` Shaoxuan Yuan
2022-05-31 15:49 ` Derrick Stolee
2022-05-27 10:08 ` [WIP v2 5/5] mv: use update_sparsity() after touching sparse contents Shaoxuan Yuan
2022-05-27 12:10 ` Ævar Arnfjörð Bjarmason
2022-05-27 19:36 ` Victoria Dye
2022-05-27 19:59 ` Junio C Hamano
2022-05-27 21:24 ` Victoria Dye
2022-06-16 13:51 ` Shaoxuan Yuan
2022-06-16 16:42 ` Victoria Dye
2022-06-17 2:15 ` Shaoxuan Yuan
2022-06-19 3:25 ` [WIP v3 0/7] mv: fix out-of-cone file/directory move logic Shaoxuan Yuan
2022-06-19 3:25 ` [WIP v3 1/7] t7002: add tests for moving out-of-cone file/directory Shaoxuan Yuan
2022-06-21 21:23 ` Victoria Dye
2022-06-19 3:25 ` [WIP v3 2/7] mv: decouple if/else-if checks using goto Shaoxuan Yuan
2022-06-19 3:25 ` [WIP v3 3/7] mv: check if out-of-cone file exists in index with SKIP_WORKTREE bit Shaoxuan Yuan
2022-06-19 3:25 ` [WIP v3 4/7] mv: check if <destination> exists in index to handle overwriting Shaoxuan Yuan
2022-06-19 3:25 ` [WIP v3 5/7] mv: use flags mode for update_mode Shaoxuan Yuan
2022-06-21 22:32 ` Victoria Dye
2022-06-22 9:37 ` Shaoxuan Yuan
2022-06-19 3:25 ` [WIP v3 6/7] mv: add check_dir_in_index() and solve general dir check issue Shaoxuan Yuan
2022-06-21 22:55 ` Victoria Dye
2022-06-19 3:25 ` [WIP v3 7/7] mv: update sparsity after moving from out-of-cone to in-cone Shaoxuan Yuan
2022-06-21 23:11 ` Victoria Dye
2022-06-21 23:30 ` [WIP v3 0/7] mv: fix out-of-cone file/directory move logic Victoria Dye
2022-06-23 15:06 ` Derrick Stolee
2022-06-23 16:19 ` Junio C Hamano
2022-06-24 8:26 ` Shaoxuan Yuan
2022-06-23 11:41 ` [PATCH v4 " Shaoxuan Yuan
2022-06-23 11:41 ` [PATCH v4 1/7] t7002: add tests for moving out-of-cone file/directory Shaoxuan Yuan
2022-06-23 11:41 ` [PATCH v4 2/7] mv: update sparsity after moving from out-of-cone to in-cone Shaoxuan Yuan
2022-06-23 15:08 ` Derrick Stolee
2022-06-24 8:04 ` Shaoxuan Yuan
2022-06-27 13:55 ` Derrick Stolee
2022-06-23 11:41 ` [PATCH v4 3/7] mv: decouple if/else-if checks using goto Shaoxuan Yuan
2022-06-23 11:41 ` [PATCH v4 4/7] mv: check if out-of-cone file exists in index with SKIP_WORKTREE bit Shaoxuan Yuan
2022-06-23 11:41 ` [PATCH v4 5/7] mv: check if <destination> exists in index to handle overwriting Shaoxuan Yuan
2022-06-23 11:41 ` [PATCH v4 6/7] mv: use flags mode for update_mode Shaoxuan Yuan
2022-06-23 15:10 ` Derrick Stolee
2022-06-23 11:41 ` [PATCH v4 7/7] mv: add check_dir_in_index() and solve general dir check issue Shaoxuan Yuan
2022-06-23 15:14 ` Derrick Stolee
2022-06-24 7:57 ` Shaoxuan Yuan
2022-06-27 13:59 ` Derrick Stolee
2022-06-23 15:16 ` [PATCH v4 0/7] mv: fix out-of-cone file/directory move logic Derrick Stolee
2022-06-23 18:05 ` Junio C Hamano
2022-06-30 2:37 ` [PATCH v5 0/8] " Shaoxuan Yuan
2022-06-30 2:37 ` [PATCH v5 1/8] t7002: add tests for moving out-of-cone file/directory Shaoxuan Yuan
2022-06-30 2:37 ` [PATCH v5 2/8] t1092: mv directory from out-of-cone to in-cone Shaoxuan Yuan
2022-06-30 2:37 ` [PATCH v5 3/8] mv: update sparsity after moving " Shaoxuan Yuan
2022-06-30 2:37 ` [PATCH v5 4/8] mv: decouple if/else-if checks using goto Shaoxuan Yuan
2022-06-30 2:37 ` [PATCH v5 5/8] mv: check if out-of-cone file exists in index with SKIP_WORKTREE bit Shaoxuan Yuan
2022-06-30 2:37 ` [PATCH v5 6/8] mv: check if <destination> exists in index to handle overwriting Shaoxuan Yuan
2022-06-30 2:37 ` [PATCH v5 7/8] mv: use flags mode for update_mode Shaoxuan Yuan
2022-06-30 2:37 ` [PATCH v5 8/8] mv: add check_dir_in_index() and solve general dir check issue Shaoxuan Yuan
2022-07-01 19:43 ` [PATCH v5 0/8] mv: fix out-of-cone file/directory move logic Derrick Stolee
2022-07-01 21:50 ` Junio C Hamano
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: http://vger.kernel.org/majordomo-info.html
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20220527100804.209890-1-shaoxuan.yuan02@gmail.com \
--to=shaoxuan.yuan02@gmail.com \
--cc=derrickstolee@github.com \
--cc=git@vger.kernel.org \
--cc=gitster@pobox.com \
--cc=newren@gmail.com \
--cc=vdye@github.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this public inbox
https://80x24.org/mirrors/git.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).