This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# This file contains examples of some of the things you may want to | |
# include in a user startup file. | |
# handle bash/zsh SHLVL variable | |
(( SHLVL++ )) | |
# skip this setup for non-interactive shells | |
[[ -o interactive && -t 0 ]] || return | |
# disable core dumps |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/** | |
* @file [file name].c | |
* @authors [author] | |
* @copyright [copy write holder] | |
* | |
* @brief [description] | |
*/ | |
/******************************************************************************* | |
* Includes | |
*******************************************************************************/ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
type # concepts | |
BasicValue[T] = concept v | |
v.value is T | |
MinValue[T] = concept v | |
v is BasicValue[T] | |
v.min is T | |
MaxValue[T] = concept v | |
v is BasicValue[T] | |
v.max is T |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/sh | |
#The limit is 30% now | |
limit=10 | |
[email protected] | |
tmp_file=/tmp/diskusage | |
hostname=`hostname` | |
#Now the script will calculate the current disk usage | |
disk=$(df -h | awk 'FNR == 2 {print $5}' | sed 's/%//') |