Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

A way to list all the packages installed #1071

Closed
bvssvni opened this issue Apr 15, 2014 · 7 comments
Closed

A way to list all the packages installed #1071

bvssvni opened this issue Apr 15, 2014 · 7 comments
Assignees
@steshaw
Labels
C-Low Hanging Fruit

Comments

@bvssvni
Copy link

bvssvni commented Apr 15, 2014

Asked about it on IRC, but was told there wasn't any.
@david-christiansen
Copy link
Contributor

While we're at it, it might be nice to have a feature to rebuild them (though this would also require having .idrs laying about).

@LeifW
Copy link
Contributor

LeifW commented Apr 22, 2014 

ls `idris --libdir`

?

@david-christiansen
Copy link
Contributor

That's a good start, but some metadata and nice formatting would be good.

@NobbZ NobbZ mentioned this issue Jan 2, 2015
Closed
@NobbZ
Copy link
Contributor

NobbZ commented Jan 2, 2015

I thought I take this one over, since there was no activity on @steshaw's fork since may 14.

But for a first quick and dirty solution I'm wondering if it is okay to introduce a new dependency (directory).

@edwinb
Copy link
Contributor

edwinb commented Jan 2, 2015

directory is already a dependency, so that'll be fine!

@NobbZ
Copy link
Contributor

NobbZ commented Jan 2, 2015

Oh, ok, it was not a dependency of executable idris, I didn't take a look
into the other targets of the cabal-file.
Am 02.01.2015 20:47 schrieb "Edwin Brady" notifications@github.com:

directory is already a dependency, so that'll be fine!

—
Reply to this email directly or view it on GitHub
#1071 (comment)
.

NobbZ added a commit to NobbZ/Idris-dev that referenced this issue Jan 2, 2015
@NobbZ
print every subdir of libdir as a package
7cef7ea 
This is a quick and dirty solution for idris-lang#1071.

I wish I were able to implement output of metadata, but since there is
no metadata saved (currently) alongside of a package, there is nothing
to display.

Displaying metadata in the output of this subcommand would mean that
there have to happen further improvements in the package-system of
idris.

Please see my proposal in idris-lang#1126.
This was referenced Jan 2, 2015
Merged
Open
@jfdm
Copy link
Contributor

jfdm commented Mar 18, 2015

I believe PR #1823 address this issue, so I am closing it. Any objections please reopen.

@jfdm jfdm closed this as completed Mar 18, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@steshaw steshaw

Labels
C-Low Hanging Fruit
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
7 participants
@LeifW @steshaw @NobbZ @david-christiansen @edwinb @jfdm @bvssvni