DataMuseum.dk

top - download

    Length: 1129 (0x469)
    Types: TextFile
    Names: »V«

└─⟦149519bd4⟧ Bits:30000546 8mm tape, Rational 1000, !projects 93-07-13
    └─ ⟦124ff5788⟧ »DATA« 
        └─⟦this⟧ 
└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─ ⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 
└─⟦f64eaa120⟧ Bits:30000752 8mm tape, Rational 1000, !projects 93 02 16
    └─ ⟦6f12a12be⟧ »DATA« 
        └─⟦this⟧ 
└─⟦2f6cfab89⟧ Bits:30000547 8mm tape, Rational 1000, !projects 94-01-04
    └─ ⟦d65440be7⟧ »DATA« 
        └─⟦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;