I think I just found the easiest and cleanest way to add precise dates to my bash prompt:
PS0=">>> \$(date +%T.%3N)\\n$PS0"
PROMPT_COMMAND='echo "<<<" $(date +%T.%3N);'$PROMPT_COMMAND
#!/bin/bash | |
sudo apt install default-jre wget | |
tag=processing-1283-4.0b8 | |
version=$(echo $tag | cut -d- -f3) | |
tgz=processing-$version-linux-x64.tgz | |
path=/opt/processing-$version | |
lapps=$HOME/.local/share/applications | |
java=$(readlink /etc/alternatives/java | sed 's#/bin/java##') |
#!/bin/bash | |
sudo apt install default-jre pup wget | |
version=$(wget -q https://www.yworks.com/products/yed/release-notes -O- | pup '.section-top > div > p > a > span:first-of-type text{}') | |
zip=yEd-$version.zip | |
path=/opt/yed-$version | |
lapps=$HOME/.local/share/applications | |
wget -nv https://www.yworks.com/resources/yed/demo/$zip |
/* See LICENSE file for copyright and license details. */ | |
#include <X11/XF86keysym.h> | |
/* appearance */ | |
static const unsigned int borderpx = 1; /* border pixel of windows */ | |
static const unsigned int snap = 32; /* snap pixel */ | |
static const unsigned int systraypinning = 0; /* 0: sloppy systray follows selected monitor, >0: pin systray to monitor X */ | |
static const unsigned int systrayspacing = 2; /* systray spacing */ | |
static const int systraypinningfailfirst = 1; /* 1: if pinning fails, display systray on the first monitor, False: display systray on the last monitor*/ |
Section "InputClass" | |
Identifier "devname" | |
Driver "libinput" | |
MatchIsTouchpad "on" | |
Option "Tapping" "on" | |
Option "ClickMethod" "clickfinger" | |
Option "NaturalScrolling" "true" | |
EndSection |
{ | |
"configurations": [ | |
{ | |
"name": "qbittorrent", | |
"includePath": [ | |
"${workspaceFolder}/**", | |
"/usr/include/x86_64-linux-gnu/qt5/**" | |
], | |
"defines": [], | |
"compilerPath": "/usr/bin/gcc", |
{ | |
"scripts": { | |
"watch": "webpack --watch" | |
}, | |
"devDependencies": { | |
"ts-loader": "^5.3.3", | |
"typescript": "^3.4.4", | |
"webpack": "^4.24.0", | |
"webpack-cli": "^3.1.2" | |
}, |
I think I just found the easiest and cleanest way to add precise dates to my bash prompt:
PS0=">>> \$(date +%T.%3N)\\n$PS0"
PROMPT_COMMAND='echo "<<<" $(date +%T.%3N);'$PROMPT_COMMAND