You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
My goal may be different than the intended use. I'd like to practice typing code, and it would be convenient to be able to paste code directly into the custom text. Splitting on all white space works but produces some odd character combinations. Having the option to split only on newlines would, I think, suffice for what I'm trying to do.
The text was updated successfully, but these errors were encountered:
#!/usr/bin/env bash
set -e
todofile="${TODOFILE:-${XDG_DATA_HOME}/todo/todo.md}"
tododir="$(dirname $todofile)"
fetch() {
if [[ -d $tododir ]] ; then
echo "[INFO] FETCH"
git -C "$tododir" fetch || echo "[WARNING] fetch FAILED"
fi
}
pull() {
if [[ -d $tododir ]] ; then
echo "[INFO] PULL"
git -C "$tododir" pull --rebase
fi
}
push() {
if [[ -d $tododir ]] ; then
echo "[INFO] PUSH"
git -C "$tododir" push
fi
}
This should be sufficient to demonstrate the 'problem' I'm having. Using this, you will end up with instances where you just end up practicing typing lots of open/close brackets, but I'd like to get more realistic practice by typing whole lines.
My goal may be different than the intended use. I'd like to practice typing code, and it would be convenient to be able to paste code directly into the custom text. Splitting on all white space works but produces some odd character combinations. Having the option to split only on newlines would, I think, suffice for what I'm trying to do.
The text was updated successfully, but these errors were encountered: