init push
This commit is contained in:
commit
235ec69321
16 changed files with 474 additions and 0 deletions
21
scripts/msg.in
Normal file
21
scripts/msg.in
Normal file
|
@ -0,0 +1,21 @@
|
|||
#!@GUILE@ \
|
||||
--no-auto-compile -e main -s
|
||||
!#
|
||||
|
||||
(use-modules (msg machine)
|
||||
(ice-9 match))
|
||||
|
||||
(define* (main #:optional (args (command-line)))
|
||||
(define clean-args (cdr args))
|
||||
|
||||
(match clean-args
|
||||
(("machine" rest ...)
|
||||
(machine rest))
|
||||
(("-h")
|
||||
(help))
|
||||
(_
|
||||
(display "Please enter a valid command or -h for help.\n"))))
|
||||
|
||||
(define* (help)
|
||||
(display "\nHere are the available commands:\n\n")
|
||||
(display "machine: interact with the vm environment for MSG.\n"))
|
Loading…
Add table
Add a link
Reference in a new issue