Archives For jimingkui

Full featured LaTeX editor TexStudio 2.12.16 was released a few hours ago. Here’s how to install it in Ubuntu 16.04, Ubuntu 18.04, Ubuntu 18.10, Ubuntu 19.04, and their derivatives.

TexStudio 2.12.16 is a small release with only bug-fixex, including some fixes for tool-tip preview by MeanSquaredError.

How to Install TexStudio 2.12.16 in Ubuntu:

There’s a PPA repository that contains the latest packages for all current Ubuntu releases and derivatives.

1. Open terminal either via Ctrl+Alt+T keyboard shortcut or by searching for ‘terminal’ from software launcher. When it opens, run command:

sudo add-apt-repository ppa:sunderme/texstudio

Type user password (no asterisk feedback) from sudo prompt and hit Enter to add the PPA.

2. If an old version was installed in your system, remove the texstudio-doc, texstudio-l10n (if any) package before upgrading the software:

sudo apt-get remove texstudio-doc texstudio-l10n

3. After adding the PPA, you can either upgrade the editor via Software Updater:

or run commands in terminal to install or upgrade the software:

sudo apt-get update && sudo apt-get install texstudio

Uninstall:

To remove the LaTeX editor, run command in terminal:

sudo apt-get remove --autoremove texstudio

And go to Software & Updates -> Other Software to remove PPA repositories.

gnome shell

Ubuntu 18.04 is quite slow to boot up in my laptop in the last few days. It was stuck at the purple screen with Ubuntu logo in center for more than 1 minute before booting into the login screen.

When it was booting into the purple screen, press F2 to show the white and black text screen. There it told me that it was stuck at:

A start job is running for dev-disk-by\x2uuid …(35s \ 1min 30s)

To fix the problem, do following steps one by one:

UPDATE: First make a back up of /etc/fstab before editing the file by running command:

sudo cp /etc/fstab /etc/fstab-backup

1. Open terminal from application menu or by pressing Ctrl+Alt+T on keyboard. When it opens, run command:

sudo -H gedit /etc/fstab

Type user password (no asterisk feedback) when it prompts. It will open fstab (file system table) configuration file with gedit text editor.

2. When the file opens, you’ll see something look like this:

As the top picture shows, “UUID=1cdb9a5b-01a7-4b7b-a0ad-ce73676bb7c1”, mounting the Swap partition takes 1 minute and 30 seconds to boot up Ubuntu.

3. Launch Disks utility from application menu.

4. When it opens, check the Swap partition, and it obviously that the UUID value does not match the one in /etc/fstab.

5. So what I need to do here is to replace the UUID value with the correct one copied from Disks utility.

Finally, save the file and reboot.

HP Linux Imaging and Printing

HP developed open-source Linux drivers, HPLIP 3.19.5, was released with new printers and most recent Linux Distro’s support.

HPLIP 3.19.5 added support for 64-bit version of Ubuntu 19.04, Fedora 30, and Debian 9.8.

Also following new devices were supported in the release:

  • HP LaserJet Enterprise M507n, M507dn, M507x, M507dng
  • HP LaserJet Managed E50145dn, E50145x
  • HP LaserJet Enterprise MFP M528dn
  • HP LaserJet Enterprise MFP M528f
  • HP LaserJet Enterprise Flow MFP M528c
  • HP LaserJet Enterprise Flow MFP M528z
  • HP LaserJet Managed MFP E52645dn
  • HP LaserJet Managed Flow MFP E52645c
  • HP Color LaserJet Managed E75245dn
  • HP Color LaserJet Enterprise M751n, M751dn
  • HP PageWide XL 3900PS MFP
  • HP OfficeJet Pro 8030 and 8020 All-in-One Printer series
  • HP OfficeJet 8020 and 8010 All-in-One Printer Series

1. To install the software, download the package “hplip-3.19.5.run” from the link below:

HPLIP Download Page

2. Then make the downloaded file executable from its Properties dialog:

3. Finally open terminal either via Ctrl+Alt+T or search for “terminal” from app launcher. When it opens, run command to start installing it:

./Downloads/hplip-3.19.5.run

Type user password (no asterisk feedback) when it prompts and hit Enter.

4. Then follow the terminal prompts, answer some questions to build and install HPLIP on your system. When everything is done, plug/re-plug your printers and enjoy!

NOTE: During hp-setup, automatic PPD selection path for some PS devices is wrong on Ubuntu 18.04. Work around is to select the PPD for the devices manually from “/usr/share/ppd/HP” path through browse option or reinstall cups.

Below are the commands to reinstall the cups filters.

sudo apt-get remove --purge cups

sudo apt-get install cups

sudo apt install --reinstall cups-filters.

Wine Stable

For those sticking to the Wine stable 4.0 series, the first bug-fix release Wine 4.0.1 was released a day ago with numerous bug-fixes.

Wine 4.0.1 brings a total of 44 bug-fixes, including fixes to Theatre of War 3, Windows Media Player, League of Legends, Warcraft 3, Visual Studio 2015, and more.

How to Install Wine 4.0.1 in Ubuntu:

The official apt repository has made the new release package for Ubuntu 16.04, Ubuntu 18.04, Ubuntu 18.10, Ubuntu 19.04, and their derivatives.

Open terminal either via Ctrl+Alt+T or by searching ‘terminal’ from app launcher. When it opens, run following commands one by one to and the repository and install Wine:

1. Add the official wine apt repository for Ubuntu 19.04 via command:

sudo apt-add-repository 'deb https://dl.winehq.org/wine-builds/ubuntu/ disco main'

For other Ubuntu releases, replace disco in the code with

  • bionic for Ubuntu 18.04, Linux Mint 19.x
  • xenial for Ubuntu 16.04, Linux Mint 18.x
  • cosmic for Ubuntu 18.10.

2. Download and install the GPG keyring via command:

wget -nc https://dl.winehq.org/wine-builds/winehq.key && sudo apt-key add winehq.key

3. Finally refresh system package cache and install the latest Wine development package via commands:

sudo apt update

sudo apt install --install-recommends winehq-stable

Note that installing the stable release package will automatically remove the devel release package if any.

Uninstall:

To remove wine dev release, simply run command in terminal:

sudo apt-get remove --autoremove winehq-stable

And you can remove the repository via Software & Updates utility under Other Software tab.

SMplayer

SMPlayer media player 19.5.0 was released with a few fixes and enhancements. Here’s how to install it in Ubuntu 16.04, Ubuntu 18.04, and Ubuntu 18.10.

SMPlayer 19.5.0 release highlights:

  • Fix for YouTube.
  • Fix YouTube live streams (works only with mpv).
  • New actions available for previous subtitle track, previous audio track, and previous video track.
  • New command line option -start.

How to Install SMPlayer 19.5.0 in Ubuntu:

The PPA repository has made the latest packages for all current Ubuntu releases excluding Ubuntu 19.04.

1. Search for and launch “terminal” from application menu. When it opens, run command to add the PPA:

sudo add-apt-repository ppa:rvm/smplayer

Type your user password (no asterisks feedback while typing) when it asks and hit Enter.

Smplayer PPA

2. Then upgrade SMPlayer using Software Updater (or Update Manager):

upgrade smplayer

or run commands in terminal to install (or upgrade) the media player:

sudo apt-get update

sudo apt-get install smplayer smtube smplayer-themes

Uninstall:

To remove SMPlayer, run command in terminal:

sudo apt-get remove --autoremove smplayer smtube smplayer-*

And remove the PPA via “Software & Updates” utility under “Other Software” tab.

Audacity audio editor and recorder released version 2.3.2 a day ago with some improvements and various bug-fixes. Here’s how to install it in Ubuntu 16.04, Ubuntu 18.04, and higher.

Audacity 2.3.2 release highlights:

  • Include LAME mp3 encoder (though it’s there in PPA build for long time).
  • New ‘Select’ button in the track panel to select the whole track.
  • Audacity mod-script-pipe for driving Audacity from Python now comes with Audacity and can be enabled via preferences.
  • Type to Create a Label is now off by default.
  • A plug-in installer for Nyquist now provides a file browser for selecting ‘.NY’ files to install.
  • And over 20 bugs were fixed in the release.

How to Install Audacity 2.3.2 in Ubuntu:

The unofficial PPA has built the 2.3.2 packages for Ubuntu 16.04, Ubuntu 18.04, Ubuntu 18.10, Ubuntu 19.04, and their derivatives, e.g., Linux Mint 18.x and 19.x.

1. Open terminal either via Ctrl+Alt+T keyboard shortcut or by searching for ‘terminal’ from application menu. When it opens, run command:

sudo add-apt-repository ppa:ubuntuhandbook1/audacity

Type user password (no asterisk feedback due to security reason) when it prompts and hit Enter to add the PPA.

2. If you have a previous version installed, you can upgrade Audacity via Software Updater after adding the PPA.

upgrade audacity

or run following commands one by one to check updates and install (or upgrade) audacity 2.3.2:

sudo apt-get update

sudo apt-get install audacity

Uninstall:

To remove the PPA repository, launch Software & Updates utility and navigate to ‘Other Software’ tab.

To remove Audacity audio software, either use system package manager or run command in terminal:

sudo apt-get remove --autoremove audacity audacity-data

gnome shell

In Ubuntu 19.04 Gnome 3.32, the desktop icons now are handled by a gnome shell extension. Though it causes many bugs, the size of the desktop icons is now configurable on the bright side.

1. Open Ubuntu Software, search for and install the Gnome desktop configuration tool gnome tweaks:

2. Launch Gnome Tweaks and navigate to Extensions in the left pane.

Click the gear button to bring up settings for “Desktop icons”. There you’ll be able to change the desktop icons size into 3 values:

  • Small (48 pixels)
  • Standard (64 pixels)
  • Large (96 pixels)

3. (Optional) If the default 3 option sizes do not meet your needs. You can change their default values by editing the extension prefs file.

Open terminal (Ctrl+Alt+T) from application menu, and run command to edit the extension file:

sudo gedit /usr/share/gnome-shell/extensions/desktop-icons@csoriano/prefs.js

Type user password (no asterisk feedback) when it prompts and hit Enter.

When the file opens, scroll down and find out 3 lines look like:

const ICON_SIZE = { 'small': 48, 'standard': 64, 'large': 96 };
const ICON_WIDTH = { 'small': 120, 'standard': 128, 'large': 128 };
const ICON_HEIGHT = { 'small': 98, 'standard': 114, 'large': 149 };

Change the numbers in the lines accordingly and RESTART Ubuntu or Gnome Shell to apply changes.

gnome shell

This quick tutorial shows how to install ‘Yaru-Colors’, default Yaru theme in different colors in Ubuntu 19.04.

Since Ubuntu’s Yaru theme is available only in light and dark, an open-source fork called Yaru-colors makes the default Gnome desktop theme available in different colors: Aqua, Blue, Brown, Deepblue, Green, Grey, MATE, Pink, Purple, Red, Yellow. All colors in light and dark!

To install the theme:

1. First grab the source tarball from the them project page:

Yaru-Colors (tar.gz/zip)

2. Extract the tarball, right-click source folder and select ‘Open in Terminal

It will open a terminal window and automatically navigate to the theme source folder.

3. Paste below command and hit enter to installer script:

sudo ./install.sh

Type user password (no asterisk feedback) when it prompts and hit Enter to continue.

Answer some questions (type number 1, 2, 3, etc.) to select which to install, theme folder (leave blank and hit Enter for default).

4. Once installed, launch Gnome Tweaks (install it via Ubuntu Software) and navigate to Appearance.

There change the values of applications and icons to apply new themes as you want.

Uninstall:

To remove the themes, re-do steps 2 to open the source folder in terminal and run command:

sudo ./uninstall.sh

It runs the uninstall script to remove the icons and themes from your system.

Eric, a full featured python editor and IDE, now can be easily installed in Ubuntu 16.04, Ubuntu 18.04, and higher via Snap package.

Eric is a full featured Python editor and IDE, written in Python. It is based on the cross platform Qt UI toolkit, integrating the highly flexible Scintilla editor control. It is designed to be usable as everdays’ quick and dirty editor as well as being usable as a professional project management tool integrating many advanced features Python offers the professional coder. eric includes a plug-in system, which allows easy extension of the IDE functionality with plug-ins downloadable from the net.

While Eric is always old in the Ubuntu official repositories, Eric snap package is made to easily install the updated version of the IDE in Ubuntu.

For Ubuntu 18.04 and higher, simply open Ubuntu Software, search for and install Eric.

NOTE there are multi Eric packages in Ubuntu Software, select install the one from Snap Store.

Since snap bundles most required runtime libraries, you’ll find it’s kinda large in download size.

For Ubuntu 16.04, open terminal (Ctrl+Alt+T) from app launcher and install snapd first via command:

sudo apt-get install snapd

Then install the snap via command:

sudo snap install eric-ide --classic

Uninstall Eric snap package:

To remove the snap package, either use Ubuntu Software or run command in terminal:

sudo snap remove eric-ide

Vivaldi web browser released new stable version 2.5 today with many exciting new features and improvements.

Vivaldi 2.5 release highlights:

  • Razer Chroma integration, enables lighting effects on Chroma-enabled devices.
  • Option to resize the thumbnails on Speed Dials.
  • Select the previous, next and related tabs using Quick Commands, keyboard shortcuts, or Gestures.
  • And improvements, bug-fixes to bookmarks, addressbar, quick commands, tab, etc.

How to Install Vivaldi 2.5 in Ubuntu:

The official Ubuntu .DEB packages are available for download at the link below:

Download Vivaldi (DEB)

Grab the deb matches your OS, then install it via Ubuntu Software or Gdebi package manager. Or run command in terminal:

sudo dpkg -i ~/Downloads/vivaldi-stable_2.5*.deb

In addition, after installed the .deb package, you can enable Vivaldi apt repository (Softare & Updates -> Other Software) to receive future updates through Software Updater: