marvinkreis / rofi-file-browser-extended

Use rofi to quickly open files
MIT License
240 stars 15 forks source link

Collision in naming #14

Closed DaveDavenport closed 3 years ago

DaveDavenport commented 5 years ago

This plugin now collides in name with its original ("file-browser").

Is it an idea to replace https://github.com/davatorium/rofi-file-browser by this one? (we keep plugins close to rofi itself)

marvinkreis commented 5 years ago

The idea was that this plugin is kind of a superset of the original plugin, so I doubt that many users would have both installed. But I'm not opposed to replacing the original plugin with this one. Feel free to do whatever you want with this plugin :)

DaveDavenport commented 5 years ago

Not sure if we can move this repo to there or we just need to clone it there. I might need to make you member of the davatorium org.

marvinkreis commented 5 years ago

Isn't there also a way to mirror a repo on github? I guess that would be the easiest way.

marvinkreis commented 3 years ago

Should be fixed in #32. It's renamed to file-browser-extended now.

DaveDavenport commented 3 years ago

great!