jaxvanyang
/ .bashrc
Last active
August 24, 2023 05:18
Workaround for changing the default shell if you don't have write permission of `/etc/passwd`.
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
| # change default shell from Bash to fish | |
| if shopt -q login_shell; then | |
| if ! command -v fish &> /dev/null; then | |
| return | |
| fi | |
| clear | |
| export SHELL=/usr/bin/fish | |
| # clean Bash envs |
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 tfgets.c | |
| * @author Jax ([email protected]) | |
| * @brief Homework 8.25: same as fgets, but with 5 seconds timeout | |
| * @version 0.1 | |
| * @date 2022-05-03 | |
| * | |
| * @copyright Copyright (c) 2022 | |
| * | |
| */ |