debmany: No more use /dev/shm for temporary files (Closes: #679457)
Axel Beckert
9 years ago
| 16 | 16 |
faster now, thanks to Jakub Wilk for the idea!)
|
| 17 | 17 |
* [debmany]
|
| 18 | 18 |
- Use curl --location to support redirects (Closes: #679225)
|
|
19 |
- No more use /dev/shm for temporary files (Closes: #679457)
|
| 19 | 20 |
* [checkrestart]
|
| 20 | 21 |
- Check ignorelist for package name equality, not substring match.
|
| 21 | 22 |
Thanks Francesco Poli! (Closes: #696533)
|
| 231 | 231 |
trap 'test -n "$temp" && rm -rf "$temp"; exit' 0 2 15 # cleanup
|
| 232 | 232 |
|
| 233 | 233 |
# find a directory for temporary files (you can use $TMPDIR to specify the destination)
|
| 234 | |
for tmp in "$TMPDIR" /dev/shm /tmp /var/tmp
|
|
234 |
for tmp in "$TMPDIR" /tmp /var/tmp
|
| 235 | 235 |
do
|
| 236 | 236 |
test -d "$tmp" && break
|
| 237 | 237 |
done
|