aboutsummaryrefslogtreecommitdiffstats
path: root/scheme2c.init
diff options
context:
space:
mode:
authorThomas Bushnell, BSG <tb@debian.org>2007-12-28 16:25:32 -0800
committerBryan Newbold <bnewbold@robocracy.org>2017-02-20 00:05:39 -0800
commitd8ae23691ed6392b7f320f5fa7d4dd78ae52c10e (patch)
treeb20b8bc02e854c4c86d39ee22a0638a8b06e01af /scheme2c.init
parentedd1ebef3ad774e7cbcc2f5918d555bfb0b44091 (diff)
parent64f037d91e0c9296dcaef9a0ff3eb33b19a2ed34 (diff)
downloadslib-d8ae23691ed6392b7f320f5fa7d4dd78ae52c10e.tar.gz
slib-d8ae23691ed6392b7f320f5fa7d4dd78ae52c10e.zip
Import Debian changes 3a5-1debian/3a5-1
slib (3a5-1) unstable; urgency=low * New upstream release. * slib.texi (Library Catalogs): Repeat change from 3a3-3. * Makefile: Repeat $(htmldir)slib_toc.html changes from 3a2-1. * guile.init: (library-vicinity): Repeat change from 3a4-2. * debian/rules (binary-indep): Don't hide .init files in a separate subdirectory, thus conforming better to the usual slib practice. Put a symlink in place to ease transitions. (Closes: #407370).
Diffstat (limited to 'scheme2c.init')
-rw-r--r--scheme2c.init7
1 files changed, 5 insertions, 2 deletions
diff --git a/scheme2c.init b/scheme2c.init
index ccc9a84..80b91d1 100644
--- a/scheme2c.init
+++ b/scheme2c.init
@@ -208,6 +208,9 @@
(define pretty-print pp)
+;;@ (FILE-POSITION <port> . <k>)
+(define (file-position . args) #f)
+
;;; (OUTPUT-PORT-WIDTH <port>)
(define (output-port-width . arg) 79)
@@ -229,13 +232,13 @@
;;; (FILE-EXISTS? <string>)
(define (file-exists? f)
(case (software-type)
- ((unix) (zero? (system (string-append "test -f " f))))
+ ((unix) (zero? (system (string-append "test -f '" f "'"))))
(else (slib:error "FILE-EXISTS? not defined for " software-type))))
;;; (DELETE-FILE <string>)
(define (delete-file f)
(case (software-type)
- ((unix) (zero? (system (string-append "rm " f))))
+ ((unix) (zero? (system (string-append "rm '" f "'"))))
(else (slib:error "DELETE-FILE not defined for " software-type))))
;;; FORCE-OUTPUT flushes any pending output on optional arg output port