diff options
| author | tdro <tdro@users.noreply.github.com> | 2020-10-28 01:13:45 -0400 |
|---|---|---|
| committer | tdro <tdro@users.noreply.github.com> | 2020-10-28 01:13:45 -0400 |
| commit | caa2346a837afa350d2ad6d6cecfb78b5abaf315 (patch) | |
| tree | 42f7cf5e867aaf2446bcc2a470c2862c6f4a8fa7 /.bash_profile | |
| parent | f730165081a45357a923b6d7456933ac7b0e8320 (diff) | |
| download | dotfiles-caa2346a837afa350d2ad6d6cecfb78b5abaf315.tar.gz dotfiles-caa2346a837afa350d2ad6d6cecfb78b5abaf315.tar.bz2 dotfiles-caa2346a837afa350d2ad6d6cecfb78b5abaf315.zip | |
.bash_profile: Don't assume groff exists
Diffstat (limited to '.bash_profile')
| -rw-r--r-- | .bash_profile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.bash_profile b/.bash_profile index d896c01..25b8708 100644 --- a/.bash_profile +++ b/.bash_profile @@ -48,7 +48,9 @@ export XDG_DATA_HOME="$HOME/.local/share" export CARGO_HOME="$XDG_CACHE_HOME/cargo" export MPLAYER_HOME="$XDG_CONFIG_HOME/mplayer" export RUSTUP_HOME="$XDG_DATA_HOME/rustup" -GROFF_FONT_PATH="$HOME/.nix-profile/share/groff/$(groff -v | head -n1 | awk '{ print $4 }')/font" && export GROFF_FONT_PATH +command -v groff > /dev/null 2>&1 && \ + GROFF_FONT_PATH="$HOME/.nix-profile/share/groff/$(groff -v | head -n1 | awk '{ print $4 }')/font" && \ + export GROFF_FONT_PATH # themes export DESKTOP_SESSION=gnome |