$ git ls-files --deleted -z | xargs -0 git rm
Git - Delete files from remote repository which are already deleted from your local filesystem
Go to the main project directory and execute:
Popular Posts
-
The man page says: EINVAL A new segment was to be created and size < SHMMIN or size > SHMMAX, or no new segment was to be created, ...
-
To swap column 2 and 3 in a 4 column file: awk -F, '{print $1,$3,$2,$4}' OFS=; " FILE " > NEW_FILE where: OFS: ind...
-
Write the web service's response(xml, json, plain text) in a file, and then run the following in a terminal: $ while true; do echo -e...
-
If you want to delete a single route from the route table, you have to specify enough parameters to make this route unique. For example, t...
-
ENOSPC returns from msgget indicates that the system-wide maximum number of message queues has been reached. Solution: Change this lim...
-
To uninstall driver from unixODBC using odbcinst, execute: $ sudo odbcinst -u -d -n [ Driver_name ] FreeTDS has been deleted (if it existed...
-
Designed by Freepik You have a group of files and some of them are compressed with zip or gz and you want to search for a specific tex... -
Shorcuts Ctrl + W - Erase one word in the current line. !! - Repeats the last command. Ctrl + Z - Stops the current command, Ctr...
-
The history command can be used to list all the previous commands you have typed before. The syntax is as following: history n where n ...
-
To erase files older than 24 hours ago: find . -mmin +1440 -exec rm -fr {} \ 24 hours = 24 * 60 minutes = 1440 minutes
0 comments:
Post a Comment