Pkg.add(pkg) when pkg is installed

[JeffreySarnoff]

currently,

Pkg.rm("MyPackage"); Pkg.rm("MyPackage");
Pkg.add("MyPackage")
# takes some time
Pkg.add("MyPackage")
# takes some time -- which is silly

Pkg.add(pkg) should return immediately with eg "$(pkg) already added" when pkg was add()ed already.

and

• at least one of Pkg.add(xs) or Pkg.add([xs...]) should work (preferably both).
• the same for some other Pkg.cmds where it makes sense

[StefanKarpinski]

Is this a bug report about the old package manager or a feature request for the new one?

[JeffreySarnoff]

feature request

[StefanKarpinski]

Is the feature request roughly that package add/rm operations should be idempotent?

[JeffreySarnoff]

yes

[StefanKarpinski]

They already are in the described and implemented designs, so I think it's safe to close this, no?

[JeffreySarnoff]

yep