Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

redo what tab completion feature #38

Merged
merged 5 commits into from
May 31, 2024
Merged

redo what tab completion feature #38

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
a7135ae
Create `redo what_predefined`
MyApaulogies May 21, 2024
638bbf8
Add `redo` bash completions based on `redo what`
MyApaulogies May 21, 2024
ee2306a
Add support to `redo` completions for path syntax
MyApaulogies May 21, 2024
a81f0fe
Add always-available dir completions for `redo`
MyApaulogies May 28, 2024
3d62215
Clean up white space and endlines in redo_completion.sh
dinkelk May 31, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions default.do
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -44,6 +44,8 @@ if __name__ == "__main__":
from rules.build_clear_cache import build_clear_cache as rule_cls
elif base == "what":
from rules.build_what import build_what as rule_cls
elif base == "what_predefined":
from rules.build_what_predefined import build_what_predefined as rule_cls
dinkelk marked this conversation as resolved.
Show resolved Hide resolved
elif base == "prove":
from rules.build_prove import build_prove as rule_cls
elif base == "analyze":
Expand Down
4 changes: 4 additions & 0 deletions env/activate
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -164,6 +164,7 @@ for path in "${paths[@]}"; do
cd - &> /dev/null
echo "Done."
done

echo "Done."
echo ""
echo "-- Adamant Configuration --"
Expand All @@ -176,3 +177,6 @@ echo ""

# Signify the environment is set up
export ADAMANT_ENVIRONMENT_SET="yes"

# Adding redo tab completion feature to shell
. $ADAMANT_DIR/env/redo_completion.sh
dinkelk marked this conversation as resolved.
Show resolved Hide resolved
Loading