scripts/functions
changeset 1138 ae135a73e338
parent 1134 becbbc7f5b72
child 1148 081205fd3790
     1.1 --- a/scripts/functions	Mon Jan 12 18:54:34 2009 +0000
     1.2 +++ b/scripts/functions	Mon Jan 12 21:35:23 2009 +0000
     1.3 @@ -242,6 +242,13 @@
     1.4      return 0
     1.5  }
     1.6  
     1.7 +# Removes one or more directories, even if it is read-only
     1.8 +# Usage: CT_DoForceRmdir dir [...]
     1.9 +CT_DoForceRmdir() {
    1.10 +    CT_DoExecLog ALL chmod -R u+w "${@}"
    1.11 +    CT_DoExecLog ALL rm -rf "${@}"
    1.12 +}
    1.13 +
    1.14  # Echoes the specified string on stdout until the pipe breaks.
    1.15  # Doesn't fail
    1.16  # $1: string to echo