technic

How to change font linespacing

• Reason: want spread lines but Qt Creator has no such option
• Result: https://i.imgsafe.org/7a156ea.png

Manual

You need to manipulate a ttf file. I found such a script that comes with Input font at http://input.fontbureau.com. So we copy DejaVuSansMono ttf files to ~/.fonts/ and create a new font DejaVuSansMonoH. I changed line 147, to match this font name, and run

technic

technic

#pragma once

#include <filesystem>
#include <fstream>
#include <giomm/desktopappinfo.h>
#include <glibmm/keyfile.h>
#include <fmt/core.h>
#include <spdlog/spdlog.h>
#include "util/string.hpp"
#include "util/format.hpp"

technic

#include <variant>
#include <type_traits>
#include <iostream>
#include <string>

template<class... Ts> struct overloaded : Ts... { using Ts::operator()...; };
template<class... Ts> overloaded(Ts...) -> overloaded<Ts...>;

template<typename T> 
struct wrapper {

technic

module Main
import Data.Vect

||| View for splitting a vector in half, non-recursively
public export
data Split : Vect n a -> Type where
    SplitNil : Split []
    SplitOne : Split [x]
    ||| two non-empty parts
    SplitPair : {n : Nat} -> {m : Nat} ->

technic

# -*- text -*-

# file default.ui
# This file is part of LyX, the document processor.
# Licence details can be found in the file COPYING.

# author John Levon

# Full author contact details are available in file CREDITS.

technic

# doit completion

function WriteLog([string] $Message) {
    $timestamp = Get-Date -Format HH:mm:ss
    "[$timestamp] $Message" | Out-File -Append "${env:Home}\tablog.txt"
}

Register-ArgumentCompleter -CommandName doit -Native -ScriptBlock {
    param(
        [String] $wordToComplete, 

technic

The old winpty has a bug, when running terminal in VS Code: after executing MinGW command escape sequencies are broken.

We can disable those by modifying theme file in a following way

    if ($env:ConEmuANSI -eq "ON") {
        $prompt += Set-CursorForRightBlockWrite -textLength ($timestamp.Length + 1)
        $prompt += Write-Prompt $timeStamp -ForegroundColor $sl.Colors.PromptForegroundColor    
 }

technic

# ssh-agent
check-ssh-agent() {
    test -S "$SSH_AUTH_SOCK" && { 
        ssh-add -l >& /dev/null
        if [ $? -ne 2 ]; then
            echo "ssh-agent is already running ($SSH_AUTH_SOCK)"
            true
        else
            false
        fi

technic

• Reference GO code: https://gist.github.com/ernado/9d6bb51ab91887cc02a9540df4fb535d
• Reference C++ code: https://habr.com/ru/post/450512/#comment_20140076

Results

• rust = 636ms
• gcc = 653ms
• go = 663ms
• clang = 799ms

Roughly 10ms deviations observed.