DataMuseum.dk

top - download

    Length: 1106 (0x452)
    Types: TextFile
    Names: »V«

└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─ ⟦129cab021⟧ »DATA« 
        └─⟦bb25a46d4⟧ 
└─⟦f64eaa120⟧ Bits:30000752 8mm tape, Rational 1000, !projects 93 02 16
    └─ ⟦6f12a12be⟧ »DATA« 
        └─⟦bb25a46d4⟧ 
└─⟦2f6cfab89⟧ Bits:30000547 8mm tape, Rational 1000, !projects 94-01-04
    └─ ⟦d65440be7⟧ »DATA« 
        └─⟦bb25a46d4⟧ 
            └─⟦this⟧ 

TextFile

package UNIX_DEFINITIONS is

   -- UNIX commands

   BACKGROUND : constant STRING := "&";
   REMOVE : constant STRING := "rm";
   SETENV : constant STRING := "setenv";
   STREAM_EDITOR : constant STRING := "sed";
   EDIT : constant STRING := "-e";
   TAPE_ARCHIVE : constant STRING := "tar";
   CREATE : constant STRING := "c";
   ARCHIVE_FILE : constant STRING := "f";
   OUTPUT_REDIRECT : constant STRING := ">";
   CHANGE_DIRECTORY : constant STRING := "cd";
   COMMAND_SEPARATOR : constant CHARACTER := ';';

   -- UNIX environment variables

   DISPLAY : constant STRING := "DISPLAY";

   -- UNIX filenames

   MINIMAL_FILENAME_LENGTH : constant := 14;

   CONTEXT_SEPARATOR : constant CHARACTER := '/';
   EXTENSION_SEPARATOR : constant CHARACTER := '.';

   TARFILE_EXTENSION : constant STRING := EXTENSION_SEPARATOR & "Z";

   function ENCLOSING_DIRECTORY (NAME : in STRING) return STRING;
   function LOCAL_NAME (NAME : in STRING) return STRING;
   function SIMPLE_NAME (NAME : in STRING) return STRING;

   function TEMPORARY_FILENAME (EXTENSION : in STRING) return STRING;

end UNIX_DEFINITIONS;