system_extra (library)

Author(s): M. Hermenegildo.

Version: 1.10#7 (2006/4/26, 19:22:13 CEST)

Version of last change: 1.9#329 (2004/3/25, 16:25:36 CET)

This is a (temporary) extension to library system (which it reexports). It implements functionality that is often convenient in Makefiles. Much of this should probably end up eventually in system, but once we have worked out the best interface and, in some cases, the proper implementation (the implementations in here are in some cases just calls to Un*x shell primitives or commands).

• Usage and interface (system_extra)
• Documentation on exports (system_extra)

Usage and interface (system_extra)

Documentation on exports (system_extra)

PREDICATE: del_dir_if_empty/1:

No further documentation available for this predicate.

PREDICATE: move_files/2:

move_files(Files, Dir)

Move Files to directory Dir (note that to move only one file to a directory, rename_file/2 can be used).

PREDICATE: move_file/2:

No further documentation available for this predicate.

PREDICATE: copy_files/2:

copy_files(Files, Dir)

Copy Files to directory Dir (note that to move only one file to a directory, rename_file/2 can be used).

PREDICATE: copy_file/2:

No further documentation available for this predicate.

PREDICATE: cat/2:

No further documentation available for this predicate.

PREDICATE: cat_append/2:

No further documentation available for this predicate.

PREDICATE: convert_permissions/4:

No further documentation available for this predicate.

PREDICATE: symbolic_link/2:

Usage: symbolic_link(Source, Dir)

• Description: Create a symbolic link in Dir pointing to file or directory Source (performs a copy in Windows).

PREDICATE: symbolic_link/3:

Usage: symbolic_link(Source, Dir, NewName)

• Description: Create a symbolic link in Dir pointing to file or directory Source and give it name NewName (performs a copy in Windows).

PREDICATE: delete_files/1:

No further documentation available for this predicate.

PREDICATE: del_file_nofail/1:

No further documentation available for this predicate.

PREDICATE: del_file_nofail/2:

No further documentation available for this predicate.

PREDICATE: del_endings_nofail/2:

No further documentation available for this predicate.

PREDICATE: ls/3:

ls(Directory, Pattern, FileList)

FileList is the unordered list of entries (files, directories, etc.) in Directory whose names match Pattern.If Directory does not exist FileList is empty.

PREDICATE: ls/2:

ls(Pattern, FileList)

FileList is the unordered list of entries (files, directories, etc.) in the current directory whose names match Pattern (same as ls('.',Pattern,FileList)).

PREDICATE: filter_alist_pattern/3:

filter_alist_pattern(UnFiltered, Pattern, Filtered)

Filtered contains the elements of UnFiltered which match with Pattern.

PREDICATE: -/1:

No further documentation available for this predicate.

Meta-predicate with arguments: -goal.

PREDICATE: do/2:

No further documentation available for this predicate.

PREDICATE: set_perms/2:

No further documentation available for this predicate.

PREDICATE: readf/2:

No further documentation available for this predicate.

PREDICATE: datime_string/1:

No further documentation available for this predicate.

PREDICATE: datime_string/2:

No further documentation available for this predicate.

PREDICATE: all_values/2:

No further documentation available for this predicate.

Meta-predicate with arguments: all_values(pred(1),?).

PREDICATE: no_tr_nl/2:

No further documentation available for this predicate.

PREDICATE: call_unknown/1:

No further documentation available for this predicate.

Meta-predicate with arguments: call_unknown(goal).

PREDICATE: replace_strings_in_file/3:

No further documentation available for this predicate.

PREDICATE: writef/3:

No further documentation available for this predicate.

PREDICATE: writef/2:

No further documentation available for this predicate.

(UNDOC_REEXPORT): cyg2win/3:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): rename_file/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): delete_directory/1:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): delete_file/1:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): chmod/3:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): chmod/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): fmode/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): modif_time0/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): modif_time/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): file_properties/6:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): file_property/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): file_exists/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): file_exists/1:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): mktemp/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): directory_files/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): wait/3:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): exec/8:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): exec/3:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): exec/4:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): popen_mode/1:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): popen/3:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): system/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): system/1:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): shell/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): shell/1:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): shell/0:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): cd/1:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): working_directory/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): make_dirpath/1:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): make_dirpath/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): make_directory/1:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): make_directory/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): umask/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): current_executable/1:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): current_host/1:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): get_pid/1:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): extract_paths/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): setenvstr/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): getenvstr/2:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): datime_struct/1:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): datime/9:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): datime/1:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): time/1:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): pause/1:

Imported from system (see the corresponding documentation for details).

Go to the first, previous, next, last section, table of contents.