diff options
| author | Joe <bousset.rudy@gmail.com> | 2023-02-17 12:20:23 +0100 |
|---|---|---|
| committer | Joe <bousset.rudy@gmail.com> | 2023-02-17 12:20:23 +0100 |
| commit | d1638bc04ac16b0b23c956a072ee42dc7f7c6434 (patch) | |
| tree | 8e2057e2621e342eeffe46b56f3cfadb48363e36 /.local/bin/idea | |
| parent | up (diff) | |
| download | dotfiles-bsd-d1638bc04ac16b0b23c956a072ee42dc7f7c6434.tar.gz dotfiles-bsd-d1638bc04ac16b0b23c956a072ee42dc7f7c6434.tar.bz2 dotfiles-bsd-d1638bc04ac16b0b23c956a072ee42dc7f7c6434.tar.xz dotfiles-bsd-d1638bc04ac16b0b23c956a072ee42dc7f7c6434.tar.zst dotfiles-bsd-d1638bc04ac16b0b23c956a072ee42dc7f7c6434.zip | |
up
Diffstat (limited to '.local/bin/idea')
| -rwxr-xr-x | .local/bin/idea | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/.local/bin/idea b/.local/bin/idea index a863bb1..7e12a56 100755 --- a/.local/bin/idea +++ b/.local/bin/idea @@ -26,10 +26,4 @@ git -C "$HOME"/dev/web/joe-www add -u git -C "$HOME"/dev/web/joe-www commit -m "Thought: ${date}" git -C "$HOME"/dev/web/joe-www push -sed -i '' -e '15i '"${gmi_fmt}" \ - "$HOME"/dev/web/joe-gemini/thoughts.gmi -git -C "$HOME"/dev/web/joe-gemini add -u -git -C "$HOME"/dev/web/joe-gemini commit -m "Thought: ${date}" -git -C "$HOME"/dev/web/joe-gemini push - vps |