I’ve PkgDev.generate
d quite a few packages through the years, and now I would like to see a list of all the packages that are “mine”. Because I have 299 installed packages I was wondering how to list the ones that were generated by me…?
Thanks!
I’ve PkgDev.generate
d quite a few packages through the years, and now I would like to see a list of all the packages that are “mine”. Because I have 299 installed packages I was wondering how to list the ones that were generated by me…?
Thanks!
git remote -v
should show your github profile as origin
.
Indeed! I just replaced origin
with my github ID, yakir12
:
pkgs = String[]
home = joinpath(homedir(), ".julia/v0.6")
for p in readdir(home)
d = joinpath(home, p)
if isdir(d) && p ≠ ".cache" && p ≠ ".github" && p ≠ ".trash"
cd(d)
txt = readstring(`git remote -v`)
if r"yakir12"(txt)
push!(pkgs, p)
end
end
end
It worked! Thanks!