Newer
Older
;;; -*- Log: code.log; Package: Lisp -*-
;;; **********************************************************************
;;; This code was written as part of the CMU Common Lisp project at
;;; Carnegie Mellon University, and has been placed in the public domain.
;;; If you want to use this code or any part of CMU Common Lisp, please contact
;;; Scott Fahlman or slisp-group@cs.cmu.edu.
;;;
(ext:file-comment
"$Header: src/code/filesys.lisp $")
;;; **********************************************************************
;;;
;;; File system interface functions. This file is pretty UNIX specific.
;;; Written by William Lott
;;;
;;; **********************************************************************
(in-package "LISP")
(intl:textdomain "cmucl")
(export '(truename probe-file user-homedir-pathname directory
rename-file delete-file file-write-date file-author))
(use-package "EXTENSIONS")
(in-package "EXTENSIONS")
(export '(print-directory complete-file ambiguous-files default-directory
purge-backup-files file-writable unix-namestring))
(in-package "LISP")
;;;; Unix pathname host support.
;;; Unix namestrings have the following format:
;;; namestring := [ directory ] [ file [ type [ version ]]]
;;; directory := [ "/" | search-list ] { file "/" }*
;;; search-list := [^:/]*:
;;; file := [^/]*
;;; type := "." [^/.]*
;;; version := ".*" | ".~" ([1-9]+[0-9]* | "*") "~"
;;; Note: this grammar is ambiguous. The string foo.bar.~5~ can be parsed
;;; as either just the file specified or as specifying the file, type, and
;;; version. Therefore, we use the following rules when confronted with
;;; an ambiguous file.type.version string:
;;; - If the first character is a dot, it's part of the file. It is not
;;; considered a dot in the following rules.
;;; - If there is only one dot, it separates the file and the type.
;;;
;;; - If there are multiple dots and the stuff following the last dot
;;; is a valid version, then that is the version and the stuff between
;;; the second to last dot and the last dot is the type.
;;;
;;; Wildcard characters:
;;;
;;; If the directory, file, type components contain any of the following
;;; characters, it is considered part of a wildcard pattern and has the
;;; following meaning.
;;;
;;; ? - matches any character
;;; * - matches any zero or more characters.
;;; [abc] - matches any of a, b, or c.
;;; {str1,str2,...,strn} - matches any of str1, str2, ..., or strn.
;;;
;;; Any of these special characters can be preceded by a backslash to
;;; cause it to be treated as a regular character.
(defun remove-backslashes (namestr start end)
"Remove any occurrences of \\ from the string because we've already
(declare (type simple-base-string namestr)
(type index start end))
(let* ((result (make-string (- end start)))
(dst 0)
(quoted nil))
(do ((src start (1+ src)))
((= src end))
(cond (quoted
(setf (schar result dst) (schar namestr src))
(setf quoted nil)
(incf dst))
(t
(let ((char (schar namestr src)))
(cond ((char= char #\\)
(setq quoted t))
(t
(setf (schar result dst) char)
(incf dst)))))))
(when quoted
(error 'namestring-parse-error
:complaint (intl:gettext "Backslash in bad place.")
:namestring namestr
:offset (1- end)))
(shrink-vector result dst)))
"If non-NIL, Unix shell-style wildcards are ignored when parsing
pathname namestrings. They are also ignored when computing
namestrings for pathname objects. Thus, *, ?, etc. are not
wildcards when parsing a namestring, and are not escaped when
printing pathnames.")
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
(defun maybe-make-pattern (namestr start end)
(declare (type simple-base-string namestr)
(type index start end))
(if *ignore-wildcards*
(subseq namestr start end)
(collect ((pattern))
(let ((quoted nil)
(any-quotes nil)
(last-regular-char nil)
(index start))
(flet ((flush-pending-regulars ()
(when last-regular-char
(pattern (if any-quotes
(remove-backslashes namestr
last-regular-char
index)
(subseq namestr last-regular-char index)))
(setf any-quotes nil)
(setf last-regular-char nil))))
(loop
(when (>= index end)
(return))
(let ((char (schar namestr index)))
(cond (quoted
(incf index)
(setf quoted nil))
((char= char #\\)
(setf quoted t)
(setf any-quotes t)
(unless last-regular-char
(setf last-regular-char index))
(incf index))
((char= char #\?)
(flush-pending-regulars)
(pattern :single-char-wild)
(incf index))
((char= char #\*)
(flush-pending-regulars)
(pattern :multi-char-wild)
(incf index))
((char= char #\[)
(flush-pending-regulars)
(let ((close-bracket
(position #\] namestr :start index :end end)))
(unless close-bracket
(error 'namestring-parse-error
:complaint (intl:gettext "``['' with no corresponding ``]''")
:namestring namestr
:offset index))
(pattern (list :character-set
(subseq namestr
(1+ index)
close-bracket)))
(setf index (1+ close-bracket))))
(t
(unless last-regular-char
(setf last-regular-char index))
(incf index)))))
(flush-pending-regulars)))
(cond ((null (pattern))
"")
((null (cdr (pattern)))
(let ((piece (first (pattern))))
(typecase piece
((member :multi-char-wild) :wild)
(simple-string piece)
(t
(make-pattern (pattern))))))
(t
(make-pattern (pattern)))))))
;;; extract-name-type-and-version -- Internal.
;;;
(defun extract-name-type-and-version (namestr start end)
(declare (type simple-base-string namestr)
(type index start end))
(labels
((explicit-version (namestr start end)
;; Look for something like "~*~" at the end of the
;; namestring, where * can be #\* or some digits. This
;; denotes a version.
;;(format t "explicit-version ~S ~A ~A~%" namestr start end)
(cond ((or (< (- end start) 4)
(and (char/= (schar namestr (1- end)) #\~)
(char/= (schar namestr (1- end)) #\*)))
;; No explicit version given, so return NIL to
;; indicate we don't want file versions, unless
;; requested in other ways.
((and (not *ignore-wildcards*)
(char= (schar namestr (- end 2)) #\*)
Loading
Loading full blame...