• Places
    • Home
    • Graphs
    • Prefixes
  • Admin
    • Users
    • Settings
    • Plugins
    • Statistics
  • CPACK
    • Home
    • List packs
    • Submit pack
  • Repository
    • Load local file
    • Load from HTTP
    • Load from library
    • Remove triples
    • Clear repository
  • Query
    • YASGUI SPARQL Editor
    • Simple Form
    • SWISH Prolog shell
  • Help
    • Documentation
    • Tutorial
    • Roadmap
    • HTTP Services
  • Login

A.54 library(shell): Elementary shell commands
All Application Manual Name SummaryHelp

  • Documentation
    • Reference manual
      • The SWI-Prolog library
        • library(shell): Elementary shell commands
          • shell/0
          • shell_command/1
          • cd/0
          • cd/1
          • pushd/0
          • pushd/1
          • popd/0
          • dirs/0
          • pwd/0
          • ls/0
          • ls/1
          • mv/2
          • rm/1
          • file_style/2
          • cls/0
    • Packages
Availability::- use_module(library(shell)).(can be autoloaded)
Sourcepushd
pushd(+Dir)
popd
dirs
Manage the directory stack:

  • pushd/1 is as cd/1, pushing th old directory on a stack
  • pushd/0 swaps the current directory with the top of the stack
  • popd/0 pops to the top of the stack
  • dirs/0 lists the current directory and the stack.
ClioPatria (version V3.1.1-59-g7b9a7a3)