Upgrade TexLive di Sylvia (2)

Kini Sarah sudah berganti Sylvia yang sekalian mau diupgrade sekalian agar bisa mendapatkan TexLive versi terbaru. Proses untuk melakukan upgrade dari LinuxMint 18.3 ke LinuxMint 19 menyediakan tools bernama mintupgrade untuk mempermudahnya.
$ sudo apt install mintupgrade 
$ mintupgrade check

Ternyata sempat ada error,

! ERROR: Please set up system snapshots. If anything goes wrong 
with the upgrade, snapshots will allow you to restore your 
operating system. Install and configure Timeshift, 
and create a snapshot before proceeding with the upgrade. !! Exiting.

Karena males bikinnya maka sambil berdoa semoga lancar saja, skip check snapshot dengan perintah ini,

$ sudo touch /etc/timeshift.json

$ mintupgrade download 
$ mintupgrade upgrade

Kembali ada error saat proses upgrade

dpkg: error processing package gconf2 (--configure):
dependency problems - leaving triggers unprocessed

Namun sepertinya sudah bisa ditangani oleh tool, pilih OK saja, masukin password sudo 
dan tinggal nunggu dan kandan memberikan opsi Y.

Akhirnya reboot dan sekarang Sylvia berganti menjadi Tara.

cat /etc/linuxmint/info
RELEASE=19
CODENAME=tara
EDITION="Cinnamon"
DESCRIPTION="Linux Mint 19 Tara"


Hasil kompile buku dengan LaTeX adalah seperti berikut,






 
 
 

Komentar

Posting Komentar

Postingan populer dari blog ini

Membandingkan Kecepatan Web PT di Yogyakarta

Gambar
Assalamu'alaikum Wr. Wb C uman iseng dengan menggunakan tools yang ada di Internet sy mencoba membandingkan kecepatan akses ke web-web Perguruan Tinggi di yogyakarta yang dihostingkan di masing-masing PT, secara urut sy ambil berdasar abjad AKAKOM,AKPRIND,AMIKOM,UAJY,UGM,UII,UKDW,UNY,UMY dan UPNYK. Setelah mencoba beberapa kali dan saya perhatikan urutan kecepatan akses hampir sama atau sama sekali tidak ada perubahan. Berikut hasil kecepatan akses ke web PT di jogja. Beikut hasil kecepatan akses ke web PT di jogja Note : Kecepatan akses ke web diperngaruhi oleh banyak faktor Percobaan akses dilakukan hari Sabtu Pk 8.30 WIB di sebuah warnet di Jl C. Simanjutak Yogyakarta
Baca selengkapnya

Membuat Web Directory dengan Drupal

Assalamu'alaikum Wr. Wb W eb directory atau link direktori atau sering disebut sebagai direcctory saja merupakan suatu web yang berisi daftar alamat web (url) dengan suatu kategori. Kategori pada umumnya didasarkan pada tujuan dari web tersebut untuk apa. Salah satu tujuan dari direktori selain mempermudah pencarian berdasarkan kategori web juga sering digunakan untuk meningkatkan rangking dalam pencarian mesin pencari. Jika web bisa dimasukan dalam direktori yang lebih tinggi secara tidak langsung akan meningkatkan rangking dari web tersebut. Sebagain besar direktori mengunakan istilah "human" edited direktori dimana link yang dimasukan oleh pemilik akan direview secara manual oleh admin dari web direktori. Salah satu web direktori seperti ini yang cukup ternama yakni DMOZ . Situs web directory yang banyak beredar di Internet cukup banyak yang menggunakan "CMS" yakni PHPLD atau membuat secara custom. Setelah melihat dan memperhatikan :D, saya mencoba membu...
Baca selengkapnya

Lebih Cepat lebih baik dengan Google Caffeine

Assalamu'alaikum Wr. Wb C affeine merupakan code name yang diberikan oleh para pengembang google dalam memberi nama infrastruktur terbaru di mesin pencari google. Dengan menggunakan infrastruktur baru ini, google dapat melakukan pencarian secara lebih epat dan lebih baik. Pengembangan infrastruktur ini sangat erat kaitannya dengan munculnya mesin pencari besutan microsoft yakni bing yang cukup menarik. Untuk mencoba google baru ini silahkan klik disini . Hasil pencarian dengan mesin google yang baru ini juga memberikan perbedaan dengan mesin lama, seperti pengecekan terhadap link, site dan jumlah pencarian. Mesin baru gogle ini menghasilkan pencarian lebih banyak daripada yang lama, sebagai contoh pada saat tulisan ini ditulis pencarian frasa kamus gaul menghasilkan 84.600 menggunakan google lama dan 172.000 untuk mesin baru, juga index terhadap situs, site:kamusgaul.com menghasilkan 568 (lama) dan 675 (baru). Dari hasil sekilas google baru lebih cepat melakukan index dan l...
Baca selengkapnya