PHP / apache üzerinde mimetex nasıl kurulur?

1 Cevap php

Yani benim sunucuda LaTeX kullanmak çalışıyorum ama mimetex gerekiyor. Ben bunu nasıl hiçbir fikrim yok ne de herhangi öğreticiler bulmak mümkün olmuştur. Temelde sunucuları hakkında bilmek benim sunucuya ssh nasıl ... ve şu konuda. Ben apt-get {} filan gibi bir şey yapmak kadar kolay olacağını umuyordum ... ama hiçbir fikrim yok. Herkes beni sağlamak veya en azından mimetex kurma hakkında gitmek nasıl bana doğru yönde işaret edebilir?

Teşekkürler

1 Cevap

Eğer Debian tabanlı bir dağıtım üzerinde iseniz (yani, Debian, Ubuntu, ...), sen paketlerini yüklemek için izin verir apt-get komut satırı komutunu olacak.

Her şeyden önce, siz tam paket adını aramak için var; komutu, bunun için apt-önbelleği:

$ apt-cache search mimetex
mimetex - LaTeX math expressions to anti-aliased GIF images converter
python-nodebox-web - collection of web-related Python modules

Yani, "mimetex" ararken size iki sonuç var; Açıkçası, ilk istediğiniz biridir.

Şimdi, paketi yüklemek için apt-get kullanabilirsiniz:

# apt-get install mimetex

Bu komut root olarak lanse edilmesi gerektiğini unutmayın - sunucunun yönetici olmak anlamına gelir.

Eğer Ubuntu kullanıyveyasanız, olmayan root olarak, bu kullanacağız:

$ sudo apt-get install mimetex

Yine de, bu kök gibi komutları çalıştırmak için gereken ayrıcalıklara sahip gerektirecektir (to simplify : the "sudo" stuff being to say that you want the command executed as root)


Again, if using a Debian-based distribution, another solution would be to use the aptitude tool, which is now the recommend one (instead of apt-get), I believe -- I don't use it, but commands should be quite similar.

Her durumda, kullanabilirsiniz

man apt-get

veya

man aptitude

biraz yardım almak için (use the "q" key to quit)


If you are using some kind of Redhat-based distribution (like centOS), you'll have to use the "yum" command.

I won't be able to tell you anything about that one, sveyary -- but you might find plenty of help on the Internet ; and there is still the man command ;-)


As a sidenote : if you don't know anything about Linux and command-line, accessing your server as root to do that kind of stuff might not be the wisest idea ; don't you have someone that acts as administratveya of that server ?