How to set Google Chrome’s proxy settings in command line on Linux?

Posted on

How to set Google Chrome’s proxy settings in command line on Linux? I am using Google Chrome on Linux and start it by google-chrome. How can I set the proxy using the command line? It tell me that my desktop is not supported but I can set the proxy in command line. Use the –proxy-server
Read more

Consistency models for distributed systems

Posted on

Which are the consistency models used for distributed systems? Papers that survey the consistency models Robert C. Steinke and Gary J. Nutt. 2004. A unified theory of shared memory consistency. J. ACM 51, 5 (September 2004), 800-849. DOI=10.1145/1017460.1017464 http://doi.acm.org/10.1145/1017460.1017464 David Mosberger. 1993. Memory consistency models. SIGOPS Oper. Syst. Rev. 27, 1 (January 1993), 18-26. DOI=10.1145/160551.160553
Read more

How to restore a Gnome 3 session?

Posted on

How to restore a Gnome 3 session? Which means: opening all the programs running last time when I log out in Gnome 3. If your purpose is to automatically start programs after logging in Gnome, another possible method is using the autostart script: https://www.systutorials.com/qa/119/how-to-write-a-autostart-script-for-gnome Run gnome-session-properties. In the “Options” tab, select “Automatically remember running applications
Read more

How to Sync the Contacts in My iPhone with Google Gmail Account

Posted on

How to Sync the Contacts in My iPhone with Google Gmail Account? To sync your Google contacts, one good method is using CardDAV. You’ll be able to edit, add, and remove contacts from your device and keep them in sync with your Google Gmail account. It is straightforward: Open the Settings application on your device.
Read more

How to install .deb packages on Fedora?

Posted on

I come across some closed source software that only provides .deb packages. Fedora manages packages with rpm/yum. How to install the .deb packages on Fedora? Alien is a tool to convert .deb package to .rpm package: http://joeyh.name/code/alien/ In latest Fedora, the tool alien is in Fedora’s repository. You can use dnf to install the package.
Read more

How to turn my iPhone to a mouse?

Posted on

iPhone has the touch screen. Is is possible to turn my iPhone to a wireless mouse on Linux? Use the WiFi Mouse app/server: http://wifimouse.necta.us/ First, install the WiFi Mouse app on you iPhone: https://itunes.apple.com/app/id591076411?mt=8 Second, install the WiFi Mouse server downloaded from http://wifimouse.necta.us/ If you are using Fedora Linux, you need to convert the .deb
Read more

WordPress: How to use Markdown for writing posts

Posted on

I like the Markdown editor whick is widely used (e.g. This site) and very convenient to use. How to add a Markdown editor for WordPress? I tried some plugins and find they have their strengthens and disadvantages. Here are my requirements: Compatible with my existing posts. They should still display well. I can accept minimum
Read more

How to activate or deactivate a Linux host with Gnome remotely?

Posted on

I have a Fedora Linux server with Gnome 3. I want to lock / unlock the remote Gnome desktop remotely. How to activate or deactivate it remotely through SSH? Use gnome-screensaver-command. It is not specific to Gnome 3. Turn the screensaver on (blank the screen): $ gnome-screensaver-command -a If the screensaver is active then deactivate
Read more

Chrome reports “Adobe Flash Player was blocked because it is out of date.”

Posted on

On Linux (Fedora 17 x86-64), Chrome keeps reporting “Adobe Flash Player was blocked because it is out of date.” every time I browse a page that contains Flash. How to fix this? I did this and it turned to be working for me: Disable the libpepflashplayer in Chrome by run chrome://plugins/ in the URL bar.
Read more