October 6, 2019 Uncategorized 3 minutes, 33 seconds

gem install <name> -p http://my.proxy.com:1234

  • Right click on Titlebar
  • More Actions -> Special Application Settings -> Size & Position -> set Obey geometry restriction to Force No



to the kwin config file





After installation of additional packages/fonts run

sudo texhash

Occurs when fontawesome is used. Add \newfontfamily{\FA}{[FontAwesome.otf]} after loading the fontawesome package

mysql -u root -p
create database name;
grant all privileges on database.* to 'user'@'localhost' identified by "password";
flush privileges;

mysqldump ovs -u root -p -T /path/to/folder --fields-terminated-by=,

The target folder must be writeable from the mysql process user

SELECT user,authentication_string,plugin,host FROM mysql.user;


in /etc/fstab

SHARED_FOLDER_NAME /PATH/TO/MOUNT_POINT vboxsf rw,dmask=770,fmask=600,uid=1000,gid=109 0 0
  • uid is the id of your user in the guest
  • gid is the id of the vboxsf-group in the guest
  • dmask sets the default permissions for directories
  • fmask sets the default permissions for files

Ensure that your linux user is in vboxsf group ( sudo usermod -aG vboxsf USER)

Ensure that the vboxsf module is loaded (sudo modprobe -a vboxsf)

For custom highlighted notes in a normal Markdown use the following snippets

div class="note"></div>

I am a highlighted note
.note+p {
    padding: 8px 35px 8px 14px;
    margin-bottom: 20px;
    text-shadow: 0 1px 0 rgba(255,255,255,0.5);
    border-radius: 4px;
    color: #3a87ad;
    background-color: #d9edf7;
    border-color: #bce8f1;

.note+p:before {
    font-weight: bold;
    display: block;
info --subnodes -o - groff | enscript -o - | ps2pdf - groff.pdf

In /usr/lib/jvm/java-8-openjdk/jre/lib/security/java.security (or the appropriate path) adjust

jdk.tls.disabledAlgorithms=SSLv3, RC4, MD5withRSA, DH keySize < 1024, \
EC keySize < 224, DES40_CBC, RC4_40

In your userChrome.css file in a folder chrome in your Firefox` profile folder (create if not existing) add the following lines:

.tabbrowser-tab:not([pinned]) {min-width:35px;max-width:35px;}
.tabbrowser-tab,.tab-background {height:var(--tab-min-height);}
.tab-stack {width: 100%;}
#tabbrowser-tabs .scrollbox-innerbox {display: flex;flex-wrap: wrap;}
#tabbrowser-tabs .arrowscrollbox-scrollbox {overflow: visible;display: block;}
#titlebar,#titlebar-buttonbox{height:var(--tab-min-height) !important;}
#titlebar{margin-bottom:calc(var(--tab-min-height)*-1) !important;}
#main-window[sizemode="maximized"] #titlebar{margin-bottom:calc(6px + var(--tab-min-height)*-1) !important;}
#main-window[sizemode="maximized"] #TabsToolbar{margin-left:var(--tab-min-height);}
#titlebar:active{margin-bottom:0 !important;}
#titlebar:active #titlebar-content{margin-bottom:var(--tab-min-height) !important;}
#tabbrowser-tabs .scrollbutton-up,.tabbrowser-tabs .scrollbutton-down,#alltabs-button,.tabbrowser-tab:not([fadein]){display: none;}


Paste and execute in the dev tools of the browser

// How many seconds to delay between downloads.
var delay = 1000;
// whether to use window.location or window.open
// window.open is more convenient, but may be popup-blocked
var window_open = false;
// the filetypes to look for, in order of preference.
// Make sure your browser won't try to preview these filetypes.
var filetypes = ['epub', 'mobi', 'pdf'];

var downloads = document.getElementsByClassName('download-buttons');
var i = 0;
var success = 0;

function download() {
  var children = downloads[i].children;
  var hrefs = {};
  for (var j = 0; j < children.length; j++) {
    var href = children[j].getElementsByClassName('a')[0].href;
    for (var k = 0; k < filetypes.length; k++) {
      if (href.includes(filetypes[k])) {
        hrefs[filetypes[k]] = href;
        console.log('Found ' + filetypes[k] + ': ' + href);
  var href = undefined;
  for (var k = 0; k < filetypes.length; k++) {
    if (hrefs[filetypes[k]] != undefined) {
      href = hrefs[filetypes[k]];
  if (href != undefined) {
    console.log('Downloading: ' + href);
    if (window_open) {
    } else {
      window.location = href;
  console.log(i + '/' + downloads.length + '; ' + success + ' successes.');
  if (i < downloads.length) {
    window.setTimeout(download, delay);