diff options
author | Raymaekers Luca <raymaekers.luca@gmail.com> | 2023-11-01 22:47:27 +0100 |
---|---|---|
committer | Raymaekers Luca <raymaekers.luca@gmail.com> | 2023-11-01 22:47:27 +0100 |
commit | e8fe4ff2bf93e8df6fd811f304edd20ff26b5c33 (patch) | |
tree | 0f19d06565e978d6833ef0e73b4df89f2dbc1b6b /config/essentials/zsh | |
parent | 6113f6739e5049dc3c6309f1a5a3f19cfc1a0ee7 (diff) | |
parent | 5265e4a51c9b76537f6c7766e5edbb1f20e56da4 (diff) |
Merge branch 'main' of db:dotfiles
Diffstat (limited to 'config/essentials/zsh')
-rw-r--r-- | config/essentials/zsh/functions.zsh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/config/essentials/zsh/functions.zsh b/config/essentials/zsh/functions.zsh index dccede1..f498f9e 100644 --- a/config/essentials/zsh/functions.zsh +++ b/config/essentials/zsh/functions.zsh @@ -295,15 +295,3 @@ edit_in_dir() { [ -f "$file" ] || return 1 $EDITOR "$file" } - -nextddl() -{ - local date - deadlines="$HOME/docs/filios/deadlines" - date="$(grep '^#' "$deadlines" | - sort -t '/' -k 3 -k 2 -k 1 -n | - sed -n "${1:-1}p" | - sed 's@/@.@g')" - sed -n "/$date/,/^#\|^$/p" "$deadlines" | - head -n -1 -} |