Skip to content

Add alias command - Review fixes - #1235

Closed
IanButterworth wants to merge 15 commits into
mainfrom
ib/alias_fixes
Closed

Add alias command - Review fixes#1235
IanButterworth wants to merge 15 commits into
mainfrom
ib/alias_fixes

Conversation

@IanButterworth

@IanButterworth IanButterworth commented Aug 26, 2025

Copy link
Copy Markdown
Member

On top of #1115

Comment thread src/command_alias.rs Outdated
Co-authored-by: Miles Cranmer <miles.cranmer@gmail.com>
Comment thread src/operations.rs Outdated
Co-authored-by: Miles Cranmer <miles.cranmer@gmail.com>

@MilesCranmer MilesCranmer left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

More minor suggestions

Comment thread src/command_alias.rs
Comment thread src/bin/julialauncher.rs Outdated
Comment thread src/bin/julialauncher.rs
Comment thread src/command_list.rs Outdated
Comment thread src/command_api.rs
IanButterworth and others added 2 commits August 26, 2025 21:07
Co-authored-by: Miles Cranmer <miles.cranmer@gmail.com>
@IanButterworth

Copy link
Copy Markdown
Member Author

Pushed to #1115

@fingolfin
fingolfin deleted the ib/alias_fixes branch April 16, 2026 15:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants