Skip to content

Add --dnx-* prefixed options with --dnx-debug and --dnx-force#51

Merged
kzu merged 3 commits intomainfrom
copilot/update-command-line-options
Jan 17, 2026
Merged

Add --dnx-* prefixed options with --dnx-debug and --dnx-force#51
kzu merged 3 commits intomainfrom
copilot/update-command-line-options

Conversation

Copy link
Contributor

Copilot AI commented Jan 17, 2026

  • Add --dnx-aot option (alias for --aot)
  • Add --dnx-alias option (alias for --alias)
  • Add --dnx-debug option to launch debugger before running
  • Add --dnx-force option to skip ETag checking
  • Update help text and documentation
  • Fix build error with Option constructor syntax for multiple aliases
Original prompt

Switch --aot to --dnx-aot and parse it as an option alongside the --alias.
Make the --alias also --dnx-alias. As backs-compat, keep the older --aot and --alias.
Introduce a --dnx-debug to do a Debugger.Launch() all before running too.
Finally, add a --dnx-force to avoid checking the ETag altogether.


💬 We'd love your input! Share your thoughts on Copilot coding agent in our 2 minute survey.

Co-authored-by: kzu <169707+kzu@users.noreply.github.com>
Copilot AI changed the title [WIP] Update command line options for dnx Add --dnx-* prefixed options with --dnx-debug and --dnx-force Jan 17, 2026
Copilot AI requested a review from kzu January 17, 2026 23:02
@kzu kzu marked this pull request as ready for review January 17, 2026 23:03
@kzu kzu enabled auto-merge (rebase) January 17, 2026 23:04
@kzu
Copy link
Member

kzu commented Jan 17, 2026

@copilot the PR isn't building in CI

Co-authored-by: kzu <169707+kzu@users.noreply.github.com>
auto-merge was automatically disabled January 17, 2026 23:11

Head branch was pushed to by a user without write access

Copy link
Contributor Author

Copilot AI commented Jan 17, 2026

@copilot the PR isn't building in CI

Fixed in ded6702. The issue was incorrect syntax for adding multiple aliases to a System.CommandLine.Option. The collection expression ["--alias", "--dnx-alias"] was being misinterpreted. Changed to use Aliases.Add("--dnx-alias") after constructing the option with the primary name.

Warning

Firewall rules blocked me from connecting to one or more addresses (expand for details)

I tried to connect to the following addresses, but was blocked by firewall rules:

  • av-build-tel-api-v1.avaloniaui.net
    • Triggering command: /usr/share/dotnet/dotnet dotnet exec --runtimeconfig /home/REDACTED/.nuget/packages/avalonia.buildservices/0.0.29/tools/netstandard2.0/runtimeconfig.json /home/REDACTED/.nuget/packages/avalonia.buildservices/0.0.29/tools/netstandard2.0/Avalonia.BuildServices.Collector.dll (dns block)
  • gitlab.com
    • Triggering command: /usr/share/dotnet/dotnet /usr/share/dotnet/dotnet exec --runtimeconfig /home/REDACTED/work/runfile/runfile/src/Tests/bin/Debug/net10.0/Devlooped.Tests.runtimeconfig.json --depsfile /home/REDACTED/work/runfile/runfile/src/Tests/bin/Debug/net10.0/Devlooped.Tests.deps.json /home/REDACTED/work/runfile/runfile/src/Tests/bin/Debug/net10.0/testhost.dll --port 42237 --endpoint 127.0.0.1:042237 --role client --parentprocessid 4737 --telemetryoptedin false (dns block)
    • Triggering command: /usr/share/dotnet/dotnet /usr/share/dotnet/dotnet exec --runtimeconfig /home/REDACTED/work/runfile/runfile/src/Tests/bin/Debug/net10.0/Devlooped.Tests.runtimeconfig.json --depsfile /home/REDACTED/work/runfile/runfile/src/Tests/bin/Debug/net10.0/Devlooped.Tests.deps.json /home/REDACTED/work/runfile/runfile/src/Tests/bin/Debug/net10.0/testhost.dll --port 33495 --endpoint 127.0.0.1:033495 --role client --parentprocessid 4880 --telemetryoptedin false (dns block)
    • Triggering command: /usr/share/dotnet/dotnet /usr/share/dotnet/dotnet exec --runtimeconfig /home/REDACTED/work/runfile/runfile/src/Tests/bin/Debug/net10.0/Devlooped.Tests.runtimeconfig.json --depsfile /home/REDACTED/work/runfile/runfile/src/Tests/bin/Debug/net10.0/Devlooped.Tests.deps.json /home/REDACTED/work/runfile/runfile/src/Tests/bin/Debug/net10.0/testhost.dll --port 46741 --endpoint 127.0.0.1:046741 --role client --parentprocessid 5197 --telemetryoptedin false (dns block)

If you need me to access, download, or install something from one of these locations, you can either:

Copilot AI requested a review from kzu January 17, 2026 23:15
@kzu
Copy link
Member

kzu commented Jan 17, 2026

168 passed 168 passed 1 skipped

🧪 Details on Ubuntu 24.04.3 LTS

from retest v1.1.0 on .NET 10.0.2 with 💜 by @devlooped

@kzu kzu merged commit 4edad19 into main Jan 17, 2026
4 checks passed
@kzu kzu deleted the copilot/update-command-line-options branch January 17, 2026 23:24
@kzu kzu added the enhancement New feature or request label Jan 17, 2026
@devlooped devlooped locked and limited conversation to collaborators Feb 17, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants