top button
Flag Notify
    Connect to us
      Site Registration

Site Registration

Location of LaTeX dtx sources?

+1 vote
232 views

Can anyone point me to the package(s) containing the LaTeX ".dtx" source files? They don't seem to be present in my default TeXLive install (on Fedora 18), and I rather not have to manually look through all those TeXLive packages on the Fedora repo.

posted Oct 3, 2013 by Naveena Garg

Share this question
Facebook Share Button Twitter Share Button LinkedIn Share Button

1 Answer

+1 vote 
$ sudo yum provides */*dtx

Could point you to the proper packages.

answer Oct 3, 2013 by Dewang Chaudhary
Similar Questions
+2 votes
Core file location and abrt in Linux(fedora)

I'd like to ensure core files go to a local partition rather than the default location ($HOME), which is network-mounted in my case.

Googling a bit, I found this: https://access.redhat.com/site/solutions/61536

In light of that, a few questions... Does this still apply to abrt in Fedora 19?

That page suggests that when abrt is in use, core files would be generated in the location set by abrt, which defaults to /var/spool/abrt. However, I have abrtd running and I'm definitely getting core files in $HOME. Does abrt just make a copy to put in /var/spool/abrt?

Might my problem be resolved as simply as telling abrt not to make a copy? I'd be fine with just having the core files in /var/spool/abrt. Otherwise, I imagine I'd like them somewhere named /var/users/$USER/dump
(or similar). How do I do that and continue to play nicely with abrt?

+1 vote
desktop file location on fedora

I am running scientific linux 6.3 with kde 4.3.4 and my problem is that for some reason or other, i have now killed off the desktop by accidentally clicking the "x" that appears in the 'sidebar' [which may not be proper name] that pops out to right of desktop.

I searched through files that i thought would be associated with desktop without finding something related to 'sidebar'.

Only way I have found to restore 'sidebar' is by renaming my user name and creating user again, then copying files over from a backup.

I ran a search of internet with "ixquick", but found nothing related directly to such.

...