Skip to content

Commit

Permalink
fix: fix cli
Browse files Browse the repository at this point in the history
  • Loading branch information
samsja committed Aug 10, 2023
1 parent 844fb7d commit 5293410
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions textbook/dataset_gen/dataset_gen_cli.py
Original file line number Diff line number Diff line change
Expand Up @@ -128,6 +128,7 @@ def filter(exo_path: Path, dataset_file: str):
write_results_to_jsonl(dataset_file, exos)


@app.command()
def push(repo_name: str, dataset_file: Path):
with open(dataset_file, "r") as file:
lines = file.readlines()
Expand Down

0 comments on commit 5293410

Please sign in to comment.