Rev 20 | Rev 11222 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 20 | Rev 8319 | ||
---|---|---|---|
Line 8... | Line 8... | ||
8 | 8 | ||
9 | deleted= |
9 | deleted= |
10 | !if $wims_superclass=$empty |
10 | !if $wims_superclass=$empty |
11 | Userdef=!replace wimshome/ by $wims_home/ in $userdef |
11 | Userdef=!replace wimshome/ by $wims_home/ in $userdef |
12 | test=!defof user_exists in $userdef |
12 | test=!defof user_exists in $userdef |
13 | !if |
13 | !if $test=yes |
14 | erased=!replace internal .users/ by .users/. in $Userdef |
14 | erased=!replace internal .users/ by .users/. in $Userdef |
15 | !sh mv -f $Userdef $erased 2>/dev/null |
15 | !sh mv -f $Userdef $erased 2>/dev/null |
16 | deleted=yes |
16 | deleted=yes |
17 | !endif |
17 | !endif |
18 | !else |
18 | !else |