Minneapolis
Interests: Programming Languages, Computer Security, Formal Methods, Software Engineering
Comment by ~remexre on ~mzhang/garbage
nathan@t60 ~ $ mkdir foo && mkdir foo/bar && touch foo/bar/baz && chmod 555 foo/bar nathan@t60 ~ $ garbage put foo nathan@t60 ~ $ garbage list 2022-01-23 18:56:36 -06:00 now /home/nathan/foo nathan@t60 ~ $ garbage empty Error: IO error: Permission denied (os error 13) nathan@t60 ~ $ garbage list nathan@t60 ~ $ ls -l ~/.local/share/Trash/ drwxr-xr-x - nathan 23 Jan 18:56 files drwxr-xr-x - nathan 23 Jan 18:56 info nathan@t60 ~ $ ls -l ~/.local/share/Trash/files/ drwxr-xr-x - nathan 23 Jan 18:55 1642985738618.foo
Comment by ~remexre on ~mzhang/garbage
s/put/empty/
possibly results from having write-protected files in dirs in the trash dir; possibly info files are wiped out?
Ticket created by ~remexre on ~mzhang/garbage
impl Fromio::Error for Error considered harmful
Ticket created by ~remexre on ~iptq/garbage
$ mkdir ~/foo $ cd ~/foo $ mkdir bar $ ln -s bar asdf $ garbage -vvvvv put asdf/ INFO - Checking if "/home/nathan/foo/asdf" is . or .. TRACE - curr = "/home/nathan/foo" TRACE - parent = Some("/home/nathan") INFO - Picking strategy MoveTo because target "asdf/" was on the home mount. IO error: Not a directory (os error 20) $ garbage --version garbage 0.3.2-78fcdec $ rmdir asdf/ rmdir: failed to remove 'asdf/': Symbolic link not followed $ \rm asdf/ rm: cannot remove 'asdf/': Is a directory
Ticket created by ~remexre on ~iptq/garbage
/
and/home
are two separate file systems. This causes deletion from/tmp
to fail, since a trash can't be made in/
.
Ticket created by ~remexre on ~iptq/garbage
$ ln -s foo bar $ garbage put bar $ garbage empty $ ls -l .local/share/Trash/files lrwxrwxrwx 3 nathan 24 Jul 15:03 1627156990328.bar -> foo
Comment by ~remexre on ~remexre/stahl
mdbook no longer runs under ninja.
REPORTED
RESOLVED FIXEDTicket created by ~remexre on ~remexre/stahl
mdbook and ninja don't get along too well; noted bugs so far:
ninja -t clean
fails because we can't enumerate the set of files mdbook generates at configure-time- sites don't get rebuilt when
mdbook-repl
changes