~remexre

Minneapolis

https://remexre.xyz

Interests: Programming Languages, Computer Security, Formal Methods, Software Engineering

Trackers

~remexre/ash-direct-entry

Last active 10 months ago

~remexre/multiclip

Last active 11 months ago

~remexre/stahl

Last active 11 months ago

~remexre/lemonbot

Last active 1 year, 7 months ago

~remexre/misc-project-ideas

Last active 1 year, 10 months ago

#1 garbage put permission errors lack paths 5 months ago

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

#1 garbage put permission errors lack paths 5 months ago

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?

#1 garbage put permission errors lack paths 5 months ago

Ticket created by ~remexre on ~mzhang/garbage

impl Fromio::Error for Error considered harmful

#12 Bad error message for trying to delete a symlink with a trailing slash 5 months ago

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

#10 deleting from /tmp with /home on a separate fs 11 months ago

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 /.

#9 garbage empty doesn't delete dangling links 11 months ago

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

#5 mdbook+ninja metabug 11 months ago

Comment by ~remexre on ~remexre/stahl

mdbook no longer runs under ninja.

REPORTED RESOLVED FIXED

#5 mdbook+ninja metabug 1 year, 2 months ago

build-system added by ~remexre on ~remexre/stahl

#5 mdbook+ninja metabug 1 year, 2 months ago

Ticket 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

#8 exit code 1 year, 2 months ago

Ticket created by ~remexre on ~iptq/garbage

$ garbage put does-not-exist && echo $?
IO error: No such file or directory (os error 2)
0

Should this really be zero?