More than 1 year has passed since last update.

pushでデプロイ

Git
deploy

Last updated at 2022-11-25Posted at 2022-11-24

サーバ

git init --bare ~/example.git
cat <<'EOL' > ~/example.git/hooks/post-receive
#!/bin/sh
if [ -e ~//example ]
then
  cd ~/example
  git --git-dir=.git pull
else
  git clone ~/example.git ~/example
fi
EOL
chmod 755 ~/example.git/hooks/post-receive

開発機

git init
git remote add origin ユーザ名@ホスト名:~/example.git
git add -A; git commit -m "`date '+%Y-%m-%d %H:%M:%S'`"
git push -u origin master

アンインストール

rm -rf ~/example
rm -rf ~/example.git

You get articles that match your needs
You can efficiently read back useful information
You can use dark theme

What you can do with signing up