I am still looking for a solution for this and can't seem to find it. I have the following code to start, but am not sure how to write the function to fire off a .js file. I need this to work on one specific page ID.
function ipad_alert() {
if( preg_match('/ipad/i',$_SERVER['HTTP_USER_AGENT'])) {?>
// link to .js file?
<?php }
}
add_action('init','ipad_alert');