236 shaares
110 liens privés
110 liens privés
2 résultats
taggé
remote
- Rename local branch.
-> If in branch to rename:git branch -m new-name
-> else (currently on a different one) :git branch -m old-name new-name
- Delete old-name on the remote branch & push new-name branch :
git push origin :old-name new-name
- Reset remote for the new branch. Switch to branch "new-name" &
git push origin -u new-name
Done
(on linux debian)
# install dependencies
sudo apt-get install sshfs
sudo adduser <username> fuse
Now mount the remote folder :
mkdir ~/remoteserv
sshfs -o idmap=user <username>@<ipaddress>:/remotepath ~/remoteserv
User vim locally on the mounted folder.