File deletion on server not reflected in local after clasp pull
See original GitHub issue(Please search existing issues before creating a new one.)
Expected Behavior
clasp pull should pull latest changes made remotely both additions and deletions (including added or deleted files)
Actual Behavior
Using clasp pull I am finding files deleted in the server are not being deleted locally.
Steps to Reproduce the Problem
- clasp clone <scriptId>
- Then delete a file on the server
- clasp pull
- local copy still shows deleted file
Specifications
- Node version (
node -v
): 8.9.4 - Version (
clasp -v
): 1.5.2 - OS (Mac/Linux/Windows): Mac
Issue Analytics
- State:
- Created 5 years ago
- Reactions:1
- Comments:5 (2 by maintainers)
Top Results From Across the Web
How to Audit File Deletion on Your Windows File Servers
Navigate to the file share, right-click it and select "Properties" → Select the "Security" tab → Click the "Advanced" button → Go to...
Read more >Git not delete deleted file in local repo - Stack Overflow
For example:I delete file in remote repo. Local repo still have this delete files. Then i use git pull to fetch changes to...
Read more >Problems when using CLASP to push client-side files from a ...
Edit your .clasp.json and set the "fileExtension" property to "gs". That will prevent clasp from renaming your "gs" to "js".
Read more >Solved: How to delete a file at remote branch after I dele...
Solved: Hi, I am a newbie to Git system. Before I found out using `git rm` to delete files, I directly delete files...
Read more >Command Line Interface using clasp | Apps Script
Since the code is local, you can use your favorite development tools like git when building Apps Script projects.
Read more >Top Related Medium Post
No results found
Top Related StackOverflow Question
No results found
Troubleshoot Live Code
Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start FreeTop Related Reddit Thread
No results found
Top Related Hackernoon Post
No results found
Top Related Tweet
No results found
Top Related Dev.to Post
No results found
Top Related Hashnode Post
No results found
Top GitHub Comments
Yes, this is a known issue. The API doesn’t make it easy to safely delete files.
I guess I could delete all non-ignored, non-pulled files when you pull. This would still not delete ignored files though.
+1 to many times i have duplicated a file because of this