Skip to content

Add LiNo export functionality with --export option #43

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
Open
konard wants to merge 3 commits into
base: main
Choose a base branch
from
Open

Add LiNo export functionality with --export option #43

konard wants to merge 3 commits into from

Conversation

@konard
Copy link
Member

@konard konard commented Sep 10, 2025 •
edited
Loading

Summary

  • Added --export/-e option to export database to LiNo file format
  • Implemented ExportToLino function using existing Format method
  • Updated SetHandler to use InvocationContext for handling 9+ parameters
  • Incremented version to 2.3.0 for new feature release

Implementation Details

  • Uses existing links.Format(link) method to convert links to LiNo notation
  • Exports all links in the database to specified file path
  • Leverages NamedLinksDecorator for consistent naming
  • Maintains compatibility with all existing CLI functionality

Test plan

  • Build compiles successfully
  • All existing tests pass
  • Help command shows new --export option
  • Export functionality works with sample data
  • Exported LiNo format matches expected structure
  • Version number updated appropriately

Example Usage

# Create some test data
clink '() ((1 1) (2 2) (1 2))' --after

# Export to LiNo file
clink --export database.lino

# Contents of database.lino:
# (1: 1 1)
# (2: 2 2)  
# (3: 1 2)

Resolves #25

🤖 Generated with Claude Code

@konard
Initial commit with task details for issue #25
117a8ff 
Adding CLAUDE.md with task information for AI processing.
This file will be removed when the task is complete.

Issue: #25
@konard konard self-assigned this Sep 10, 2025
konard and others added 2 commits September 10, 2025 16:20
@konard
Remove CLAUDE.md - PR created successfully
4798069
@konard @claude
Add LiNo export functionality with --export option
650b459 
- Added --export/-e option to export database to LiNo file format
- Implemented ExportToLino function using existing Format method
- Updated SetHandler to use InvocationContext for handling 9+ parameters
- Incremented version to 2.3.0 for new feature release
- All existing functionality preserved and tests pass

Resolves issue #25 - LiNo import functionality

🤖 Generated with [Claude Code](https://claude.ai/code)

Co-Authored-By: Claude <noreply@anthropic.com>
@konard konard changed the title [WIP] LiNo import Add LiNo export functionality with --export option Sep 10, 2025
@konard konard marked this pull request as ready for review September 10, 2025 13:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@konard konard

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

LiNo import

2 participants

@konard