3
3
Fork
You've already forked main
2

Fix prime script #51

Merged
raul338 merged 1 commit from master into master 2020年07月19日 09:09:06 +02:00
raul338 commented 2020年07月19日 06:29:28 +02:00 (Migrated from github.com)
Copy link

Fixes error

 ~  prime
Failed to execute process '/usr/bin/prime'. Reason:
exec: Exec format error
The file '/usr/bin/prime' is marked as an executable but could not be run by the operating system.
Fixes error ``` ~  prime Failed to execute process '/usr/bin/prime'. Reason: exec: Exec format error The file '/usr/bin/prime' is marked as an executable but could not be run by the operating system. ```
Sign in to join this conversation.
No reviewers
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
KaOS/main!51
Reference in a new issue
KaOS/main
No description provided.
Delete branch "master"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?