view bin/chef @ 874:f4608e2e80ce

data: Optimize page data creation. `datetime.strftime` was pretty costly so it's no lazily-computed in some places, and replaced with some better alternative elsewhere.
author Ludovic Chabant <ludovic@chabant.com>
date Thu, 15 Jun 2017 07:31:50 -0700
parents a212a3f2e3ee
children
line wrap: on
line source

#!/bin/sh

CHEF_DIR=`dirname $0`
if `hash readlink 2>&-`; then
    LINKED_EXE=`readlink $0`
    if [ -n "$LINKED_EXE" ]; then
        CHEF_DIR=`dirname $LINKED_EXE`
    fi
fi
python $CHEF_DIR/../chef.py $@