#!/bin/bash

file="$1"
shift
bat $(type -p "$file") "$@"