Skip to content

✨ feat: add profile management commands#45

Merged
jfbus merged 1 commit intomainfrom
profile
Feb 16, 2026
Merged

✨ feat: add profile management commands#45
jfbus merged 1 commit intomainfrom
profile

Conversation

@jfbus
Copy link
Contributor

@jfbus jfbus commented Feb 13, 2026

Description

This PR adds profile file management commands:

  • octl profile list lists all profile within the profile file,
  • octl profile add adds a profile to the profile file,
  • octl profile delete removes a profile from the profile file,
  • octl profile use marks a profile as the default profile, that will be used in future octl commands.

Fixes: #46

Type of Change

Please check the relevant option(s):

  • 🐛 Bug fix
  • ✨ New feature
  • 🧹 Code cleanup or refactor
  • 📝 Documentation update
  • 🔧 Build or CI-related change
  • 🔒 Security fix
  • Other (specify):

How Has This Been Tested?

Please describe the test strategy:

  • Manual testing
  • Unit tests
  • Integration tests
  • Not tested yet

Checklist

  • I have followed the Contributing Guidelines
  • I have added tests or explained why they are not needed
  • I have updated relevant documentation (README, examples, etc.)
  • My changes follow the Conventional Commits specification
  • My commits include appropriate Gitmoji

Additional Context

@jfbus jfbus force-pushed the profile branch 3 times, most recently from 0fd2798 to b984a43 Compare February 16, 2026 10:55
@jfbus jfbus marked this pull request as ready for review February 16, 2026 10:58
@jfbus jfbus force-pushed the profile branch 2 times, most recently from 1f458cd to 2ae45e8 Compare February 16, 2026 12:23
@jfbus jfbus merged commit 75ab687 into main Feb 16, 2026
4 checks passed
@jfbus jfbus deleted the profile branch February 16, 2026 12:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

--config flag is ignored

2 participants