homepage: ''
changelog-type: ''
hash: e72bb44283b2153d80ef96fc3518cfa6913f2fadd6d51299bbdc369e3418af32
test-bench-deps: {}
maintainer: megoettlinger@gmail.com
synopsis: Deletes a directory and retains its contents in the parent directory
changelog: ''
basic-deps:
  base: ! '>=4.12.0 && <4.13'
  directory: ! '>=1.3.3 && <1.4'
all-versions:
- 0.1.0.0
author: Merlin Göttlinger
latest: 0.1.0.0
description-type: text
description: |
  * DiRem
    A simple utility to remove directories but retain their content
  ** Usage
     The command is called as =direm FILE= where =FILE= is the path to the directory you want to delete.
     It will then output what it will do:
     - copy all files from the directory to the parent directory
     - delete the directory

     The program asks for confirmation before doing that to prevent mistakes which can be rather time consuming to revert.
     If you are certain you got things right you can also call it as =direm FILE -y= to skip the confirmation.
     Note that this flag has to be *after* the parameter!
license-name: GPL-3.0-only

Update from Hackage at 2019-04-18T18:55:46Z
Update from Hackage at 2019-04-18T18:55:46Z
