Installing R and RStudio Desktop in Ubuntu Linux 20.04

Posted on

We ever discussed How To Install R and RStudio Server in Ubuntu Linux 20.04. If the purpose is to install a local RStudio IDE instead of a remote RStudio Server, we can install RStudio Desktop. In this post, we introduce how to install R and RStudio Desktop on Ubuntu Linux 20.04. For other Ubuntu version,
Read more

Installing R and RStudio Server in Ubuntu Linux 20.04

Posted on

R is a language and environment for statistical computing and graphics, providing a wide variety of statistical and graphical techniques. The R environment is open source software under GPL. R has rich software packages and is widely used for statistical analysis. RStudio Server is an R integrated development environment (IDE) that provides many useful features
Read more

How to synchronize Google Drive and Google Docs files in Ubuntu/Debian/Mint Linux using Insync

Posted on

Google Drive is a nice cloud storage service. It provides a suite of nice online document spreadsheet and slide editors Google Docs, Google Sheets and Google Slides. The collaborative editing and full history tracking features of Google Docs are excellent. Google Drive gives 16GB free storage which is pretty much larger compared to other free
Read more

How to enable user themes in Ubuntu 18.04?

Posted on

The way for Ubuntu 17 to installing the gnome-shell-extensions package does not work any more for Ubuntu 18.04. How to enable user themes in Ubuntu 18.04? The updated gnome-shell-extensions package actually adds the User Theme extension back. You can use that. First, install the package sudo apt install gnome-shell-extensions Second, log out and login again
Read more

How to change the logo shown during booting in Ubuntu?

Posted on

How to change the logo shown during booting in Ubuntu? I originally installed Ubuntu MATE 18.04. But I am using GNOME 3 now by replacing the DE. But the log shown during booting is still Ubuntu MATE’s. How to change it to another one? It is plymouth the application that manages the “splash” screen during
Read more

Good Cinnamon theme for Fedora 21 Linux?

Posted on

Any suggestion on good theme configuration for Fedora 21 Linux? My favorite combination of Window borders, Icons, Controls, Mouse Pointer and Desktop is as follows. All packages and themes are from Fedora repository or the Cinnamon repository. Remember to set the cursor theme for QT application like Google Chrome following: https://www.systutorials.com/4068/configuring-mouse-cursor-style-for-qt-applications-in-gnome-mate-desktop/ For this configuration, the
Read more

How to boot Linux Mint to the console by default?

Posted on

How to boot Linux Mint to the console by default? (that is, the run level 3). 2 methods introduced here to boot Linux Mint to console/command line. Method 1 (may only work for earlier releases; check method 2 below): set kernel option. Edit /etc/default/grub and add text to GRUB_CMDLINE_LINUX_DEFAULT: GRUB_CMDLINE_LINUX_DEFAULT=”quiet splash text” Then, re-generate grub
Read more

How to install WordPress Buddy Press template?

Posted on

How to install WordPress Buddy Press template? Themes for BuddyPress are available at:http://wordpress.org/extend/themes/tags/buddypress Make sure that the theme tagged as “buddypress” is compatible with the BP/WP version activated in your server. As of BuddyPress 1.7, BuddyPress works with most any WordPress out of the box. BuddyPress 1.7 includes base template files that should fit into
Read more

WordPress theme TwentyFourteen interfere with AddThis Welcome Bar

Posted on

The AddThis welcome bar will make a empty gap on top of the WordPress webpage with the TwentyFourteen wordpress theme. Is there a fix for it? You will find AddThis will add this div to the webpage: <div class=”addthis_bar_placeholder” style=”height: 46px;”></div> which cause the problem. A little trick that works is to set that div’s
Read more

How to change the fonts of gnome-shell for gnome3?

Posted on

How to change the fonts of gnome-shell for gnome3? Like the system bar. The fonts of gnome-shell is described in its own theme. For the default gnome-shell, you need to edit the file as root: /usr/share/gnome-shell/theme/gnome-shell.css Right, it is a css file. Find the font-family keyword and change the corresponding fonts. Then you can restart
Read more

Excerpt in homepage, category, tag and author pages for WordPress theme Twenty Thriteen

Posted on

Excerpt in homepage, category, tag and author pages for WordPress theme Twenty Thriteen. Also add the “read more” link after the excerpt. The patch: diff –git a/wp-content/themes/twentythirteen/content.php b/wp-content/themes/twentythirteen/content.php index 4f61b22..53b4686 100644 — a/wp-content/themes/twentythirteen/content.php +++ b/wp-content/themes/twentythirteen/content.php @@ -30,7 +30,7 @@ </div><!– .entry-meta –> </header><!– .entry-header –> – <?php if ( is_search() ) : // Only display
Read more

Essential Gnome Shell Extensions for Gnome 3 Users

Posted on

Gnome Shell has a clean design. But many users want to get more from the desktop environment. Gnome 3’s extension system can help users customize the Gnome Shell’s look greatly. In this post, we summarize 6 extensions we considered essential to make Gnome Shell great. AlternateTab Make Alt-Tab "classic" instead of grouping windows by application.
Read more

Customizing Fonts in Gnome 3

Posted on

Gnome 3 is great and I can understand that it emphasizes on simplicity. However, the configuration settings for Gnome 3 does not provide tools for certain functions that I need. One of them is customizing the fonts. This post will summarize the tools/tips that I adopted to customize the fonts in Gnome 3. Usually, the
Read more

A Free Personal WordPress Blog Solution

Posted on

If you want to have a wordpress blog for FREE co.cc + x10hosting is the best choice. I will introduce both in this post. I will briefly introduce how to set up a wordpress blog like my blog. The overall that I paid for this blog is only $0.89. I can say that it is
Read more