diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2017-10-27 23:28:37 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2017-10-30 19:39:19 +0100 |
| commit | f8628b5f7f26847816b6052225fcd96031aed1a9 (patch) | |
| tree | 2a57c7935a18bf62690e9eb0a1bf2971f7e1c08e /scripts | |
Initial commit.
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/mumi.in | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/scripts/mumi.in b/scripts/mumi.in new file mode 100644 index 0000000..86677d6 --- /dev/null +++ b/scripts/mumi.in @@ -0,0 +1,25 @@ +#!@GUILE@ --no-auto-compile +-*- scheme -*- +-*- geiser-scheme-implementation: guile -*- +!# +;;; mumi -- Mailing list processor +;;; Copyright © 2016, 2017 Ricardo Wurmus <rekado@elephly.net> +;;; +;;; This file is part of mumi. +;;; +;;; mumi is free software; you can redistribute it and/or modify it +;;; under the terms of the GNU General Public License as published by +;;; the Free Software Foundation; either version 3 of the License, or +;;; (at your option) any later version. +;;; +;;; mumi is distributed in the hope that it will be useful, but +;;; WITHOUT ANY WARRANTY; without even the implied warranty of +;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +;;; General Public License for more details. +;;; +;;; You should have received a copy of the GNU General Public License +;;; along with mumi. If not, see <http://www.gnu.org/licenses/>. + +(use-modules (mumi)) (init) +(use-modules (mumi web server)) +(start-mumi-web-server 1234) |