Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 246666 - request to rename dev-scheme/drscheme to dev-scheme/plt-scheme
Summary: request to rename dev-scheme/drscheme to dev-scheme/plt-scheme
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: New packages (show other bugs)
Hardware: All Linux
: High enhancement (vote)
Assignee: Scheme Project
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2008-11-14 06:39 UTC by Dimitris Vyzovitis
Modified: 2008-11-17 10:37 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Dimitris Vyzovitis 2008-11-14 06:39:07 UTC 
The ebuild name is a misnomer, leftover from pre-plt-4 era, as it packs the plt-scheme code distribution. drscheme is just an editor/ide for plt-scheme, that is not even enabled when you build with -X.

Can we rename it to dev-scheme/plt-scheme to better represent reality?


Reproducible: Always
Comment 1 Panagiotis Christopoulos (RETIRED) gentoo-dev 2008-11-17 00:24:58 UTC 
Done, InCVS --> http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-scheme/plt-scheme/

Thanks, Δημήτρη.
Comment 2 Dimitris Vyzovitis 2008-11-17 10:12:19 UTC 
Thanks Παγιώτη

Btw, can we also fix the url (just http://plt-scheme.org) and blurb accordingly?
(not terribly important -- a little nitpicking perhaps)
Comment 3 Dimitris Vyzovitis 2008-11-17 10:13:14 UTC 
oops - Παναγιώτη!
Comment 4 Panagiotis Christopoulos (RETIRED) gentoo-dev 2008-11-17 10:37:34 UTC 
(In reply to comment #2) 
> Btw, can we also fix the url (just http://plt-scheme.org) and blurb
> accordingly?

Done. Forgot to do it yesterday. Thanks for reporting.