This file is indexed.

/usr/share/gnudatalanguage/lib/pushd.pro is in libgnudatalanguage0 0.9.7-6.

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