/usr/share/gnudatalanguage/lib/pushd.pro is in gnudatalanguage 0.9.4-1ubuntu2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 | ;+
; NAME: PUSHD
;
; PURPOSE:
; Store the current working directory on top of the directory stack
; handled by PUSHD and POPD and change the current working directory to
; a user supplied directory.
;
;
; CATEGORY:
; Directory management
;
;
; CALLING SEQUENCE:
; pushd, directory
;
;
; INPUTS:
; directory Scalar string of the requested working directory
;
;
; MODIFICATION HISTORY:
; 12-Jan-2006 : written by Pierre Chanial
;
; LICENCE:
; Copyright (C) 2006, P. Chanial
; This program 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 2 of the License, or
; (at your option) any later version.
;
;-
pro pushd, directory
common dir_stack, nstack, stack
on_error, 2
if n_elements(nstack) eq 0 then nstack = (stack = 0)
cd, directory, current=current
if not keyword_set(nstack++) then begin
stack = [current]
endif else begin
stack = [current, stack]
endelse
end
|