Museum

Home

Lab Overview

Retrotechnology Articles

Online Manuals

⇒ rmf(1) — UNIX 2.9BSD

Media Vault

Software Library

Restoration Projects

Artifacts Sought

RMF(1)  —  Unix Programmer’s Manual

NAME

rmf − remove folder

SYNOPSIS

rmf [ +folder ] [ −help ]

DESCRIPTION

Rmf removes all of the files (messages) within the specified (or default) folder, and then removes the directory (folder).  If there are any files within the folder which are not a part of MH, they will not be removed, and an error will be produced.  If the folder is given explicitly or the current folder is a subfolder (i.e., a selection list from pick), it will be removed without confirmation.  If no argument is specified and the current folder is not a selection-list folder, the user will be asked for confirmation. 

Rmf irreversibly deletes messages that don’t have other links, so use it with caution. 

If the folder being removed is a subfolder, the parent folder will become the new current folder, and rmf will produce a message telling the user this has happened.  This provides an easy mechanism for selecting a set of messages, operating on the list, then removing the list and returning to the current folder from which the list was extracted.  (See the example under pick.) 

The files that rmf will delete are cur, any file beginning with a comma, and files with purely numeric names.  All others will produce error messages. 

Rmf of a read-only folder will delete the “cur−” entry from the profile without affecting the folder itself. 

FILES

PROFILE COMPONENTS

$HOME/mh_profileThe user profile
Path:To determine the user’s MH directory
Current-Folder:To find the default current folder

DEFAULTS

‘+folder’ defaults to current, usually with confirmation

CONTEXT

Rmf will set the current folder to the parent folder if a subfolder is removed; or if the current folder is removed, it will make “inbox” current.  Otherwise, it doesn’t change the current folder or message. 

4th Berkeley Distribution  —  3 August 1983

Typewritten Software • bear@typewritten.org • Edmonds, WA 98026