hopeseekr / bash-timer Goto Github PK
View Code? Open in Web Editor NEWEasily add Human-readable execution time for every command in bash!
License: Other
Easily add Human-readable execution time for every command in bash!
License: Other
Hi,
I wanted to let you know that I created an Arch User Repository (AUR) entry for this repository. It consists of metadata (github URL, commit hash, ...) for makepkg
[1], an arch linux tool that can create arch packages from source code. This means is that people can now call this command line tool to automatically download, package and install this script on their machines (which is convenient for me).
Please let me know if for some reason this is a problem for you.
Cheers !
bash-timer
is incompatible with other scripts that use bash-preexec
, for instance undistract-me.
This is because bash-timer
defines variables prexec
and precmd
. Either these variables are already defined, and bash-timer
overwrites them, or bash-timer
defines them, and whichever bash-prexec
script sourced afterwards overwrites them.
The solution to this issue is to use the array functions provided by bash-preexec
. I made pull request #2 to that end (and I plan to open a similar pull-request for undistract-me
).
Also, thanks for your script I really like it :)
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.