diff --git a/.gitignore b/.gitignore index 926ccaa..1b89871 100644 --- a/.gitignore +++ b/.gitignore @@ -1 +1,9 @@ -doc/tags + +export USER_AT_HOST=user@hostname +# Make the directory where the remote filesystem will be mounted +mkdir -p "$HOME/sshfs/$USER_AT_HOST" +# Mount the remote filesystem +sshfs "$USER_AT_HOST:" "$HOME/sshfs/$USER_AT_HOST" -ovolname="$USER_AT_HOST" -p 22 \ + -o workaround=nonodelay -o transform_symlinks -o idmap=user -Cdoc/tags +code --remote ssh-remote+remote_server /code/my_projectwsl rsync -rlptzv --progress --delete --exclude=.git "user@hostname:/remote/source/code/path" "`$(wslpath -a '$PWD' +rsync -rlptzv --progress --delete --exclude=.git "user@hostname:/remote/source/code/path \ No newline at end of file diff --git a/README.md b/README.md index 602e585..699c1f1 100644 --- a/README.md +++ b/README.md @@ -1,7 +1,7 @@
Special thanks to:
-
+
/^(?:(?:\+|00)86)?1(?:(?:3[\d])|(?:4[5-79])|(?:5[0-35-9])|(?:6[5-7])|(?:7[0-8])|(?:8[\d])|(?:9[1589]))\d{8}$/
Warp